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

Publications of M. Fisher
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