KIT | KIT-Bibliothek | Impressum

Computing specification-sensitive abstractions for program verification

Liu, T.; Tyszberowicz, S.; Herda, M.; Beckert, B.; Grahl, D.; Taghdiri, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1007/978-3-319-47677-3_7
ISBN: 978-331947676-6
ISSN: 0302-9743
KITopen ID: 1000062884
Erschienen in 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016; Beijing; China; 9 November 2016 through 11 November 2016. Ed. : D. Kapur
Verlag Springer, Cham
Seiten 101-117
Serie Lecture Notes in Computer Science ; 9984
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page