INATEST
- 1 August 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 10 (4) , 17-18
- https://doi.org/10.1145/1012497.1012504
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985