Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995
- 31 October 1996
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 28 (13) , 1845-1855
- https://doi.org/10.1016/0169-7552(96)00083-9
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A field study of the software design process for large systemsCommunications of the ACM, 1988