Graham - Interactive Systems Design Specification and Verification - X555z

Gilroy - Interactive Systems. Design Specification and Verification - X555z

Jorge - Interactive Systems. Design Specification and Verification - X555z

Johnson - Interactive Systems Design Specification and Verification - X555z

Dastani - Specification and Verification of Multi-agent Systems - New - X555z

Bodart - Design Specification and Verification of Interactive Systems - X555z

Palanque - Design Specification and Verification of Interactive Syste - X555z

Harrison - Design Specification and Verification of Interactive Syste - X555z