×
  • NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

    Klaus Havelund

Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read