Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis. Are formal methods useful for software development?. In Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, 21-25 September, 1992. pages 2-9, IEEE, 1992. [doi]
@inproceedings{WeddeCGSLA92,
title = {Are formal methods useful for software development?},
author = {Horst F. Wedde and Betty H. C. Cheng and David Gries and N. Shankar and Kwei-Jay Lin and Mark A. Ardis},
year = {1992},
doi = {10.1109/CMPSAC.1992.217611},
url = {http://dx.doi.org/10.1109/CMPSAC.1992.217611},
researchr = {https://researchr.org/publication/WeddeCGSLA92},
cites = {0},
citedby = {0},
pages = {2-9},
booktitle = {Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, 21-25 September, 1992},
publisher = {IEEE},
isbn = {0-8186-3000-0},
}