×
  • NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

    Julia M. Badger Kristin Yvonne Rozier (eds.)

Click on cover to enlarge.
8 - 9Hours to read