Model variables: cleanly supporting abstraction in design by contract. (2005)

by Y Cheon, G T Leavens, M Sitaraman, S H Edwards
Venue:Softw., Pract. Exper.,