Computing specification-sensitive abstractions for program verification
Liu, T. 1; Tyszberowicz, S.; Herda, M. 1; Beckert, B.
1; Grahl, D. 1; Taghdiri, M.
1 Karlsruher Institut für Technologie (KIT)
1; Grahl, D. 1; Taghdiri, M.1 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | 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 |
| Seiten | 101-117 |
| Serie | Lecture Notes in Computer Science ; 9984 |
| Nachgewiesen in | Scopus Dimensions |