An example of formal specification as an aid to design and development
- 1 April 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 14 (3) , 266-272
- https://doi.org/10.1145/75200.75239
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- The Cactis project: database support for software environmentsIEEE Transactions on Software Engineering, 1988