Model Variables: Cleanly Supporting Abstraction in Design By Contract (2003)

by Yoonsik Cheon , Gary T. Leavens , Murali Sitaraman , Stephen Edwards
Citations:58 - 20 self