KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1016/j.scico.2015.02.005
Scopus
Zitationen: 1

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 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