KIT | KIT-Bibliothek | Impressum

Formal Verification of Annotated Textual Use-Cases

Simko, Viliam; Hauzar, David; Hnetynka, Petr; Bures, Tomas; Plasil, Frantisek



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2015
Sprache Englisch
Identifikator DOI: 10.1093/comjnl/bxu068
ISSN: 0010-4620, 1460-2067
KITopen ID: 1000056022
Erschienen in The computer journal
Band 58
Heft 7
Seiten 1495-1529
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page