Specification and Verification of Multi-agent Systems by Mehdi Dastani | Menrva Books | MenrvaBooks