KIT | KIT-Bibliothek | Impressum | Datenschutz

Combining Slicing and Constraint Solving for Validation of Measurement Software

Snelting, Gregor


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1996
Sprache Englisch
Identifikator ISBN: 978-3-540-61739-6
ISSN: 0302-9743
KITopen-ID: 1000017661
Erschienen in Static Analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996. Proceedings. Ed.: R. Cousot
Verlag Springer Verlag
Seiten 332 - 348
Serie Lecture Notes in Computer Science ; 1145
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page