School of Computing

ZRC - A Refinement Calculus for Z

ALC Cavalcanti and JCP Woodcock

Formal Aspects of Computing, 10:182-196, 1999.

Bibtex Record

@article{1467,
author = {ALC Cavalcanti and JCP Woodcock},
title = {{ZRC - A Refinement Calculus for Z}},
month = {unknown},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014