152 followers
Integrated Formal Methods (2004) : Davies, Jim and Gibbons, Jeremy DOI: https://t.co/esUBDdcrBY #CSP #MAS #abstraction #behaviour #behaviour_tree #constraints #correctness #formal_methods #formal_specification #law #logic #methods #negotiation #my_bibtex