Jason Rubens
Melbourne, Victoria, Australia
Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$-Tropos
Autonomous Agents and Multi-Agent Systems