KIT | KIT-Bibliothek | Impressum

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
Jahr 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, Berlin
Seiten 332 - 348
Serie Lecture Notes in Computer Science ; 1145
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page