KIT | KIT-Bibliothek | Impressum | Datenschutz

Software Verification with Integrated Data Type Refinement for Integer Arithmetic

Beckert, Bernhard ORCID iD icon; Schlager, Steffen


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2004
Sprache Englisch
Identifikator ISBN: 3-540-21377-5
KITopen-ID: 1000002412
Erschienen in Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004. Hrsg.: E. A. Boiten
Verlag Springer Verlag
Seiten 207-226
Serie Lecture Notes in Computer Science ; 2999
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page