Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher. A flexible framework for verifying agent programs. In Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3. pages 1303-1306, IFAAMAS, 2008. [doi]
Abstract is missing.