A Semantics for Object-Oriented Systems. Presented at the Third Northern Formal Methods Workshop (1998)

by A N Clark
Venue:BCS FACS Electronic Workshops in Computing