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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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 Apr 16 17:11:27 2014 BST.