2017 | Buch
NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
herausgegeben von: Clark Barrett, Misty Davies, Temesghen Kahsai
Verlag: Springer International Publishing
Buchreihe : Lecture Notes in Computer Science