Conference
On the inadequacy of ordinary preconditions for the practical design and verification of programs
| Title: | On the inadequacy of ordinary preconditions for the practical design and verification of programs |
|---|---|
| Authors: | Baber, R.L. |
| Source: | Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257) Software reliability engineering Software Reliability Engineering, 1998. Proceedings. The Ninth International Symposium on. :43-48 1998 |
| Relation: | Proceedings Ninth International Symposium on Software Reliability Engineering |
| Database: | IEEE Xplore Digital Library |
Be the first to leave a comment!