Model variables: Cleanly supporting abstraction in Design by Contract
| Title | Model variables: Cleanly supporting abstraction in Design by Contract |
| Publication Type | Journal Article |
| Year of Publication | 2005 |
| Authors | Cheon, Y., G. T. Leavens, M. Sitaraman, and S. H. Edwards |
| Journal | Software: Practice and Experience |
| Volume | 35 |
| Issue | 6 |
| Date Published | May |