35262251
9783642380877
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering), 2013 was published 2013 under ISBN 9783642380877 and ISBN 3642380875.
[read more]