DMCA

A Semantics for Object-Oriented Systems (1998)

by Tony Clark
Venue:Proceedings of the Third Northern Formal Methods Workshop
Citations:1 - 0 self