Skip to content
Vinony

Michael G. Hinchey

No biography available.

Works (4)

Cover of Teaching and Learning Formal Methods
Teaching and Learning Formal Methods
Cover of The Z formal specification notation
The Z formal specification notation
Cover of Formal approaches to agent-based systems
Formal approaches to agent-based systems
Cover of Formal approaches to agent-based systems
Formal approaches to agent-based systems