Cunha, Francisco, 		Viana, Marx, 		Rosemberg, Márcio, AND 		Lucena, Carlos.
" Verifying the behavior of agents in BDI4JADE with AspectJ" <em>Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC)</em> [Online], (1 June 2015)