Ort, Verlag, Ausgabe:
Cham : Springer
Name der Veranstaltung:
-
Genre der Quelle:
Buch
Title der Quelle:
Leveraging Applications of Formal Methods, Verifi...
Band / Heft:
-
Start- / Endseite:
119 - 133
Artikelnummer:
-
Ort, Verlag, Ausgabe:
-
:
1 es sind weitere Quellen vorhanden