NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings - Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Operating systems (Computers).; Logic design; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Programming Techniques