NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
Barrett, Clark, Davies, Misty, Kahsai, TemesghenCatégories:
Année:
2017
Editeur::
Springer International Publishing
Langue:
english
ISBN 10:
3319572873
ISBN 13:
9783319572871
Collection:
Lecture notes in computer science; Formal methods
Fichier:
EPUB, 7.72 MB
IPFS:
,
english, 2017