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

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