L. A. Dennis
First name(s): L. A.
Last name(s): Dennis

Publications of L. A. Dennis
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