Michael G. Hinchey

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Jonathan P. Bowen and others (2005) · ACM