DMCA

A Formal Specification of dMARS (1998)

by Mark d'Inverno , David Kinny , Michael Luck , Michael Wooldridge
Citations:183 - 27 self