Formal Methods and Software Development by Hartmut Ehrig | Menrva Books | MenrvaBooks