An Invitation to Formal Methods
- 1 April 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 29 (4), 16
- https://doi.org/10.1109/mc.1996.488298
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Improving Software ProductivityComputer, 1987