Authors: Markus Becker, Universität Paderborn, DE; Christoph Kuznik, Universität Paderborn, DE
Zusammenfassung:
-
Publication Date: 2014/10/14
Location of Publication: Forum on specification & Design Languages (FDL), München, DE
Keyword: Verification