Arnaud Venet

A. V.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings978-3-642-38O87-7
(3-642-38O87-5)
2013Guillaume Brat · Neha Rungta

Arnaud Vergnol