KIT | KIT-Bibliothek | Impressum
Open Access Logo

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