KIT | KIT-Bibliothek | Impressum

Specifying linked data structures in JML for combining formal verification and testing

Gladisch, Christoph; Tyszberowicz, Shmuel



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2015
Sprache Englisch
Identifikator DOI: 10.1016/j.scico.2015.02.005
ISSN: 0167-6423, 1872-7964
KITopen ID: 1000060916
Erschienen in Science of computer programming
Band 107-108
Seiten 19–40
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page