Formal Definitions of Behavioural Compatibility for Active and Passive Objects (1994)

by Graeme Smith
Venue:In Proc. 1st Asia-Pacific Software Engineering Conference (APSEC '94
Citations:2 - 0 self