Xiaolei Gao. The Z Specification Refinement of Based on Tableau. In Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USA. pages 87-90, CSREA Press, 2010.
@inproceedings{Gao10-1,
title = {The Z Specification Refinement of Based on Tableau},
author = {Xiaolei Gao},
year = {2010},
tags = {rule-based, refinement},
researchr = {https://researchr.org/publication/Gao10-1},
cites = {0},
citedby = {0},
pages = {87-90},
booktitle = {Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia and George A. Gravvanis and Ashu M. G. Solo},
publisher = {CSREA Press},
isbn = {1-60132-142-2},
}