KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/978-3-319-13338-6_9

Generating JML Specifications from Alloy Expressions

Grunwald, D.; Gladisch, C.; Liu, T.; Taghdiri, M.; Tyszberowicz , S.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-3-319-13337-9
ISSN: 0302-9743
KITopen ID: 1000045879
Erschienen in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference (HVC'14), Haifa, Israel, November 18-20, 2014. Ed.: E. Yahav
Verlag Springer, New York (NY)
Seiten 99-115
Serie Lecture Notes in Computer Science ; 8855
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page