Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 3.

Article

Cavalcanti, A.L.C. and Naumann, D.A. (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26 (8). pp. 713-728. ISSN 0098-5589 . The full text of this publication is not available from this repository.

Conference or workshop item

Cavalcanti, A.L.C. and Naumann, D.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 available from this repository.

Cavalcanti, A.L.C. and Naumann, D.A. (2000) 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 available from this repository.

This list was generated on Wed Jun 19 05:43:02 2013 BST.