Automated Technology for Verification and Analysis by Ahmed Bouajjani | Menrva Books | MenrvaBooks