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