Formal Methods in Agent-Oriented Software Engineering | Publicación