Contract-checking wrappers for C++ classes

TitleContract-checking wrappers for C++ classes
Publication TypeJournal Article
Year of Publication2004
AuthorsEdwards, S. H., M. Sitaraman, B. W. Weide, and J. Hollingsworth
JournalIEEE Transactions on Software Engineering
Volume30
Issue11
Pagination794–810
Date PublishedNovember