NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings Bobaru Mihaela Heftet / 2011 / Engelsk
