Conference
On the inadequacy of ordinary preconditions for the practical design and verification of programs
| Τίτλος: | On the inadequacy of ordinary preconditions for the practical design and verification of programs |
|---|---|
| Συγγραφείς: | Baber, R.L. |
| Πηγή: | 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 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 0818689919 9780818689918 |
|---|---|
| ISSN: | 10719458 |
| DOI: | 10.1109/ISSRE.1998.730770 |