KIT | KIT-Bibliothek | Impressum

Formal specification with the java modeling language

Huisman, M.; Ahrendt, W.; Grahl, D.; Hentschel, M.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Buchaufsatz
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1007/978-3-319-49812-6_7
ISBN: 978-3-319-49811-9
ISSN: 0302-9743, 1611-3349
KITopen ID: 1000065684
Erschienen in Deductive Software Verification – The KeY Book. From Theory to Practice. Ed. : W. Ahrendt
Verlag Springer International Publishing, Cham
Seiten 193-241
Serie Lecture Notes in Computer Science ; 10001
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page