Michael G. Hinchey

Agent technology from a formal perspective

Industrial-strength formal methods in practice