Anthony Narkawicz

A N

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings978-3-319-77934-8
(3-319-77934-6)
2018Aaron Dutle · César Muñoz

Anthony Nash