Number of items: 1.
Conference or workshop item
|
Freitas, A.F. and Nascimento, C.M. and Cavalcanti, A.L.C.
(2003)
A Refinement Tool for Z.
In: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sat May 25 23:07:33 2013 BST.
