Formal Approaches to Agent-Based Systems | DealShopping Deutschland