Raheel Ahmad, Shahram Rahimi, Bidyut Gupta. A Formal Framework for Agent-Oriented Software Engineering. In Hamid R. Arabnia, Mary Qu Yang, Jack Y. Yang, editors, Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007, Volume II, June 25-28, 2007, Las Vegas, Nevada, USA. pages 541-546, CSREA Press, 2007.
Abstract is missing.