NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
NASA Formal Methods - 2011
978-3-642-20398-5
Logics and Meanings of Programs
Operating Systems
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science
NASA Formal Methods - 2011
978-3-642-20398-5
Logics and Meanings of Programs
Operating Systems
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science