Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Cavalcanti, Ana L. C. and Naumann, David A.
Simulation and Class Refinement for Java.
In: ECOOP 2000 Workshop on Formal Techniques for Java Programs, June 12, 2000, Sophia Antipolis, France.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)