Industrial-strength formal methods in practice by Michael G. Hinchey | Menrva Books | MenrvaBooks