Automated technology for verification and analysis by Susanne Graf | Menrva Books | MenrvaBooks