Betty H. C. Cheng. Where and How do Formal Methods Fit in Requirements Engineering?. In ICRE. pages 154-156, 1996. [doi]
@inproceedings{Cheng96:0, title = {Where and How do Formal Methods Fit in Requirements Engineering?}, author = {Betty H. C. Cheng}, year = {1996}, url = {http://computer.org/proceedings/icre/7252/72520154.pdf}, tags = {requirements engineering, C++}, researchr = {https://researchr.org/publication/Cheng96%3A0}, cites = {0}, citedby = {0}, pages = {154-156}, booktitle = {ICRE}, }