Automated Technology for Verification and Analysis by Doron A. Peled | Menrva Books | MenrvaBooks