Chia-Chu Chiang, Roger Y. Lee. Formal Verification of Structured Analysis and Design in HOS. In Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA. pages 282-287, IEEE Computer Society, 2005. [doi]
@inproceedings{ChiangL05,
title = {Formal Verification of Structured Analysis and Design in HOS},
author = {Chia-Chu Chiang and Roger Y. Lee},
year = {2005},
doi = {10.1109/SERA.2005.41},
url = {http://doi.ieeecomputersociety.org/10.1109/SERA.2005.41},
tags = {analysis, design},
researchr = {https://researchr.org/publication/ChiangL05},
cites = {0},
citedby = {0},
pages = {282-287},
booktitle = {Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2297-1},
}