Verifiable Multi-agent Programs

@incollection{bordini-promas2003,
   apice = {Bordini04},
   author = {Bordini, Rafael H. and Fisher, Michael and Visser, Willem and Wooldridge, Michael J.},
   booktitle = {Programming Multi-agent Systems},
   doi = {10.1007/978-3-540-25936-7_4},
   editor = {Dastani, Mehdi M. and Dix, J{\"u}rgen and El Fallah-Seghrouchni, Amal},
   isbn = {978-3-540-22180-7},
   note = {1st International Workshop (PROMAS 2003), Melbourne, Australia, 15~} # jul # {~2003. Selected Revised and Invited Papers},
   pages = {72--89},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Verifiable Multi-agent Programs},
   url = {https://link.springer.com/10.1007/978-3-540-25936-7_4},
   volume = 3067,
   year = 2004
}