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: 2.

Conference or workshop item

Cavalcanti, A.L.C. and Naumann, C. (2002) Forward Simulation for Data Refinement of Classes. In: Eriksson, L. and Lindsay, P.A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science, 1. Springer-Verlag, Berlin pp. 471-490. ISBN 9783540439288. (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Naumann, C. (2002) On a Specification-oriented Model for Object-orientation. In: Proceedings of the 6th Brazilian Symposium on Programming Languages, June 5-7, 2002, Rio de Janeiro. (The full text of this publication is not available from this repository)

This list was generated on Thu Jun 5 05:02:00 2014 BST.