Hiroshi Ishikawa. On a GUI-based Editor for Z Specifications and its Applications. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2. pages 636-642, CSREA Press, 2006.
@inproceedings{Ishikawa06,
title = {On a GUI-based Editor for Z Specifications and its Applications},
author = {Hiroshi Ishikawa},
year = {2006},
tags = {rule-based},
researchr = {https://researchr.org/publication/Ishikawa06},
cites = {0},
citedby = {0},
pages = {636-642},
booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2},
editor = {Hamid R. Arabnia and Hassan Reza},
publisher = {CSREA Press},
isbn = {1-932415-91-2},
}