Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
| Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C. (2003) A Refinement Tool for Z. In: Dong, Jin Song and Woodcock, Jim, eds. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003. Lecture Notes in Computer Science, 2885. Springer-Verlag pp. 396-415. ISBN 978-3-540-20461-9. (doi:https://doi.org/10.1007/b94115) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
