Agent-oriented modeling by interleaving formal and informal specification.

3 Anna Perini Marco Pistore Marco Roveri Angelo Susi 2003 Agent-oriented modeling by interleaving formal and informal specification. Agent Oriented Software Engineering (AOSE-2003) Melbourne, Australia 15/07/2003 pub