Filter
Sökt på: Sökresultat
Filter
1 träff
NASA Formal Methods
häftad,
2017,
Engelska,
ISBN 9783319572871
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short …