Model variables: Cleanly supporting abstraction in Design by Contract

TitleModel variables: Cleanly supporting abstraction in Design by Contract
Publication TypeJournal Article
Year of Publication2005
AuthorsCheon, Y., G. T. Leavens, M. Sitaraman, and S. H. Edwards
JournalSoftware: Practice and Experience
Volume35
Issue6
Date PublishedMay