Understanding formal methods
Bibliographic details
Additional authors
Hinchey, Michael G.
Related catalogue records
Modern formal methods and applications
edited by Hossam A. Gabbar
Formal software development
Charatan, Quentin
Software specification methods
edited by Henri Habrias, Marc Frappier
Formal methods in Computer Science
Wang, Jiacun
Agent technology from a formal perspective
Christopher A. Rouff with Michael Hinchey
Formal methods for software architectures
Marco Bernardo, Paola Inverardi (eds.)
Software development with Z
Wordsworth, J. B.