NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
Gespeichert in:
Verfasser / Beitragende:
edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou
Ort, Verlag, Jahr:
Cham :
Springer International Publishing,
2020
Beschreibung:
1 Online-Ressource (XXI, 442 S. 49 illus.)
Format:
Buch (online)
Ausgabe:
1st ed. 2020
Online Zugang: