![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] NASA Formal Methods Volume 12229 (12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11â15, 2020, Proceedings) ||
Lee, Ritchie, Jha, Susmit, Mavridou, AnastasiaVolume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-55754-6
File:
PDF, 22.53 MB
2020