An International Survey of Industrial Applications of Formal Methods
- 1 January 1995
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 0 references indexed in Scilit:
This publication has 0 references indexed in Scilit: