Interconnection of object specifications (1996)

by Grant Malcolm
Venue:Formal Methods and Object Technology. Springer Workshops in Computing