Title: Specification and Verification of Multi-agent Systems
Subjects: Software engineering, Electronic data processing, Computer science, Artificial intelligence, Multiagent systems, Computer software, verification, Intelligent agents (computer software), Operating systems (computers)