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

Publications of L. A. Dennis sorted by journal and type

Publications of type Inproceedings


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