Michael G. Hinchey profile picture

Michael G. Hinchey

Is this your author profile? Create an account to customize it!

Stand Alone

Formal approaches to agent-based systems
Agent technology from a formal perspective
Industrial-strength formal methods in practice
Applications of formal methods
Industrial-Strength Formal Methods in Practice
Concurrent systems: formal development in CSP
Applications of formal methods
Functional Programming With Haskell
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
First IEEE International Conference Conference [sic] on Formal Engineering Methods: Proceedings, Hiroshima, Japan, November 12-14, 1997