DMCA
Model Variables: Cleanly Supporting Abstraction in Design By Contract (2003)
Cached
Download Links
by
Yoonsik Cheon
,
Gary T. Leavens
,
Murali Sitaraman
,
Stephen Edwards
| Citations: | 75 - 28 self |
BibTeX
@MISC{Cheon03modelvariables:,
author = {Yoonsik Cheon and Gary T. Leavens and Murali Sitaraman and Stephen Edwards},
title = {Model Variables: Cleanly Supporting Abstraction in Design By Contract},
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
