ZUM '98 : the Z Formal Specification NotationJonathan P. Bowen, Andreas Fett, Michael G. Hinchey · First published 2011Open the Tome
Formal Approaches to Agent-Based SystemsMichael G. Hinchey,James L. Rash,Walter F. Truszkowski · First published 2008Open the Tome
Innovative Concepts for Autonomic and Agent-Based SystemsMichael G. Hinchey,James L. Rash,Patricia Rago · First published 2008Open the Tome
Innovative Concepts for Autonomic and Agent-Based SystemsMichael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski · First published 2006Open the Tome
Formal approaches to agent-based systemsMichael G. Hinchey, James L. Rash, Christopher Rouff · First published 2003Open the Tome
Formal approaches to agent-based systemsJames L. Rash, Diana Gordon, Michael G. Hinchey · First published 2001Open the Tome
Industrial-strength formal methods in practiceMichael G. Hinchey, J. P. Bowen · First published 1999Open the Tome
High-integrity system specification and designJ. P. Bowen, Michael G. Hinchey · First published 1999Open the Tome
The Z formal specification notationJonathan P. Bowen, Michael G. Hinchey · First published 1998Open the Tome
Teaching and Learning Formal MethodsC. Neville Dean, Michael G. Hinchey · First published 1996Open the Tome
