DMCA

A Logic for Object-Z (1994)

by Graeme Smith
Venue:PROCEEDINGS OF THE 9TH ANNUAL Z-USER MEETING
Citations:29 - 8 self