Model Checking Software by Jaco van de Pol | Menrva Books | MenrvaBooks