Formal agent development: framework to system (0)

by M d’Inverno, M Luck
Venue:In: In Formal Approaches to Agent-based Systems: First International Workshop, FAABS 2000