R. H. Bordini
First name(s): R. H.
Last name(s): Bordini

Publications of R. H. Bordini
2008
R. H. Bordini, L. A. Dennis, B. Farwer and M. Fisher, Automated verification of multi-agent programs, in: 23rd International Conference on Automated Software Engineering, pages 69-78, IEEE, 2008