Betty H. C. Cheng
Where and How do Formal Methods Fit in Requirements Engineering?
RE, 1996.
@inproceedings{ICRE-1996-Cheng,
author = "Betty H. C. Cheng",
booktitle = "{Proceedings of the Second International Conference on Requirements Engineering}",
doi = "10.1109/ICRE.1996.10008",
isbn = "0-8186-7252-8",
pages = "154--156",
publisher = "{IEEE Computer Society}",
title = "{Where and How do Formal Methods Fit in Requirements Engineering?}",
year = 1996,
}