A Formal Specification of dMARS (1998)

by M d'Inverno, D Kinny, M Luck, M Wooldridge
Venue:In