Authors: Sebastian Reiter, FZI Forschungszentrum Informa...; Alexander Viehl, FZI Forschungszentrum Informat...; Oliver Bringmann, Eberhard Karls Universität Tü...; ; Andreas Burger, FZI Forschungszentrum Informatik, DE
Zusammenfassung:
-
Publication Date: 2016/04/19
Location of Publication: International MOST Conference & Exhibition 2016, Esslingen, DE
Keyword: Verification
