© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 182-196, 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 = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}