Chris J. Taylor, John Derrick, Eerke Boiten. A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In ICFEM. pages 177, 2000. [doi]
@inproceedings{TaylorDB00,
title = {A Case Study in Partial Specification: Consistency and Refinement for Object-Z},
author = {Chris J. Taylor and John Derrick and Eerke Boiten},
year = {2000},
url = {http://computer.org/proceedings/icfem/0822/08220177abs.htm},
tags = {case study, refinement, consistency},
researchr = {https://researchr.org/publication/TaylorDB00},
cites = {0},
citedby = {0},
pages = {177},
booktitle = {ICFEM},
}