NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings - NFM 2011. 2011 : Pasadena, USA); Bobaru, Mihaela (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Operating systems (Computers).; Logic design