6.4.1 Industrialization Of Formal Methods Through Process Definition
- 1 July 1995
- journal article
- research article
- Published by Wiley in INCOSE International Symposium
- Vol. 5 (1) , 917-921
- https://doi.org/10.1002/j.2334-5837.1995.tb01957.x
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- S: A machine readable specification notation based on higher order logicPublished by Springer Nature ,1994