Contract-checking wrappers for C++ classes
| Title | Contract-checking wrappers for C++ classes |
| Publication Type | Journal Article |
| Year of Publication | 2004 |
| Authors | Edwards, S. H., M. Sitaraman, B. W. Weide, and J. Hollingsworth |
| Journal | IEEE Transactions on Software Engineering |
| Volume | 30 |
| Issue | 11 |
| Pagination | 794–810 |
| Date Published | November |