CUNHA, Francisco J. P.; VIANA, Marx Leles; ROSEMBERG, Márcio R.; LUCENA, Carlos J. P. de. Verifying the behavior of agents in BDI4JADE with AspectJ. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 9. , 2015, Niterói/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2015 . p. 227-232. ISSN 2326-5434. DOI: https://doi.org/10.5753/wesaac.2015.33334.