© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
ZRC - A Refinement Calculus for Z
ALC Cavalcanti and JCP Woodcock
Formal Aspects of Computing, 10:267-289, 1999.Bibtex Record
@article{1467,
author = {ALC Cavalcanti and JCP Woodcock},
title = {{ZRC - A Refinement Calculus for Z}},
month = {unknown},
year = {1999},
pages = {267-289},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/1467},
publication_type = {article},
submission_id = {2751_1028814284},
journal = {Formal Aspects of Computing},
volume = {10},
}