Michael G. Hinchey
Michael G. Hinchey has written at least 1 book. Their most popular book is Applications of Formal Methods with 0 saves with an average rating of -⭐.
Applications of Formal Methods
ByJonathan Bowen(editor),Michael G. Hinchey(Editor)
1995 • 447 pages