NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

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
ID: 594427029