John Fitzgerald, Ian J. Hayes FM 2005: Formal Methods - 2005 ISBN: 978-3-540-31714-2 Subjects--Topical Terms: Logics and Meanings of ProgramsManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science