KIT | KIT-Bibliothek | Impressum | Datenschutz

Combining Slicing and Constraint Solving for Validation of Measurement Software

Snelting, Gregor



Seitenaufrufe: 11
seit 30.05.2018
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