Back to Search
Start Over
Clean your room: formal methods for the '90s
- Source :
- Computer Language. July, 1992, Vol. v9 Issue n7, p38, 6 p.
- Publication Year :
- 1992
-
Abstract
- Warren Keuffel Bug or defect? Programmer or engineer? These issues are driving the debate about defect-prevention methods that are becoming increasingly familiar to the software-engineering community. To the programmer, a […]
Details
- ISSN :
- 07492839
- Volume :
- v9
- Issue :
- n7
- Database :
- Gale General OneFile
- Journal :
- Computer Language
- Publication Type :
- Academic Journal
- Accession number :
- edsgcl.12324063