1 Ebooks by Mihaela Bobaru
Mihaela Bobaru & Klaus Havelund: NASA Formal Methods
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented to …
PDF
English
DRM
€57.84
