Some experience with automated aids to the design of large-scale reliable software
- 1 March 1975
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-1 (1), 125-133
- https://doi.org/10.1109/TSE.1975.6312826