Browse by Journal
Jump to: C
Number of items: 1.
C
Cavalcanti, Ana L. C., Naumann, David A. (2001) Class Refinement for Sequential Java. In: ECOOP 2001 Workshop on Formal Techniques for Java Programs. . (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:13505) |