Formally specifying electronic instruments
- 1 April 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 14 (3) , 242-248
- https://doi.org/10.1145/75200.75236
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- On Formalism in SpecificationsIEEE Software, 1985