FM 2005: Formal Methods
John Fitzgerald, Ian J. Hayes
FM 2005: Formal Methods - 2005
978-3-540-31714-2
Logics and Meanings of Programs
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
FM 2005: Formal Methods - 2005
978-3-540-31714-2
Logics and Meanings of Programs
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science