Skip to main content

First International Workshop on Formal Approaches to Agent-Based Systems