Debugging and Verification of Multi-Agent Systems | Publicación