Browse by Journal
Jump to: C
Number of items: 1.
C
Cavalcanti, Ana L. C., Naumann, David A. (2000) Simulation and Class Refinement for Java. In: Drossopoulou, Sophia and Eisenback, S., eds. ECOOP 2000 Workshop on Formal Techniques for Java Programs. Technical Report 269 . (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) (KAR id:21911) |