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

Group by: Item Type | Date | No Grouping

Number of items: 3.

Conference or workshop item

Sampaio, A.C.A and Woodcock, J.C.P. and Cavalcanti, A.L.C. (2002) Refinement in Circus. 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. 451-470. ISBN 9783540439288. The full text of this publication is not available from this repository.

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.

Arts, T. and Earle, C.B. and Derrick, J. (2002) Verifying Erlang code: a resource locker case-study. In: In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark. The full text of this publication is not available from this repository.

This list was generated on Sun May 19 15:51:16 2013 BST.