© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Non-atomic refinement in Z
J. Derrick and E.A. Boiten
In J.M. Wing, J.C.P. Woodcock, and J. Davies, editors, FM'99 World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of Lecture Notes in Computer Science, pages 1477-1496, Berlin, September 1999. Springer.Bibtex Record
@conference{912,
author = {J. Derrick and E.A. Boiten},
title = {Non-atomic refinement in {Z}},
month = {September},
year = {1999},
pages = {1477-1496},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/912},
ISBN = {3-540-66587-0},
ISSN = {0302-9743},
address = {Berlin},
booktitle = {FM'99 World Congress on Formal Methods in the Development of Computing Systems},
editor = {J.M. Wing and J.C.P. Woodcock and J. Davies},
publisher = {Springer},
refereed = {yes},
series = {Lecture Notes in Computer Science},
volume = {1708},
}