M. Fisher
First name(s): M.
Last name(s): Fisher

Publications of M. Fisher sorted by title

A

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