Title: Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
Subjects: Logic design, Computer science, Software engineering, Operating systems (Computers), Computer software, development, Fault-tolerant computing, System design, System analysis, Automatic control, Programming Techniques, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Operating Systems, Programming Languages, Compilers, Interpreters