M
Michael G. Hinchey
6 works on record
Works

Formal approaches to agent-based systems

The Z formal specification notation

Industrial-Strength Formal Methods in Practice

Teaching and Learning Formal Methods
Innovative Concepts for Autonomic and Agent-Based Systems
Innovative Concepts for Autonomic and Agent-Based Systems
ZUM '98 : the Z Formal Specification Notation
ZUM '98 : the Z Formal Specification Notation