Specification and Verification of Multi-agent by Mehdi Dastani (.PDF) Posted on May 13, 2026 by book314 File Size: 3 MB Continue reading