Distributed cooperative formal methods tools
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Formal methods: promises and problemsIEEE Software, 1997