Venet, Arnaud books & textbook
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Programming and Software Engineering)
Brat, Guillaume Rungta, Neha Venet, Arnaud
Springer /2013-04-17 Paperback / 510 Pages
isbn-10: 3642380875 / isbn-13: 9783642380877
