Bücher nach ISBN
>
Springer
> Arnaud Venet
Arnaud Venet
A. V.
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
978-3-642-38O87-7
(3-642-38O87-5)
2013
Guillaume Brat · Neha Rungta
Arnaud Vergnol