Selling formal methods to industry
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 671-678
- https://doi.org/10.1007/bfb0024673
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Proof movie — A proof with the Boyer-Moore proverFormal Aspects of Computing, 1993
- Minimal space, average linear time duplicate deletionCommunications of the ACM, 1991