1
NASA Formal Methods [E-Book] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
2
Verified Software: Theories, Tools, Experiments [E-Book]: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
3
NASA Formal Methods [E-Book] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /