140 followers
Specifying and Reasoning About Multiple Institutions (2007) : Cliffe, Owen and De Vos, Marina and Padget, Julian DOI: https://t.co/PrXj2VY1sN #InstaL #MAS #__printed #action_language #ansprolog #contract #correctness #deontic_logi #my_bibtex