Industrial-Strength Formal Methods in Practice by Michael G. Hinchey | Menrva Books | MenrvaBooks