Reasoning about Object Clients and Distributed Object Interaction.

Anna Mikhajlova Reasoning about Object Clients and Distributed Object Interaction. 10 1999 conf/ecoopw/1999 ECOOP Workshops db/conf/ecoopw/ecoopw99.html#Mikhajlova99