Sergiu Dascalu, Peter Hitchcock. An approach to integrating semi-formal and formal notations in software specification. In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain. pages 1014-1020, ACM, 2002. [doi]
@inproceedings{DascaluH02,
title = {An approach to integrating semi-formal and formal notations in software specification},
author = {Sergiu Dascalu and Peter Hitchcock},
year = {2002},
doi = {10.1145/508791.508988},
url = {http://doi.acm.org/10.1145/508791.508988},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/DascaluH02},
cites = {0},
citedby = {0},
pages = {1014-1020},
booktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain},
publisher = {ACM},
}