Data abstraction and information hiding (2001)

by K. Rustan M. Leino , Greg Nelson
Venue:ACM TRANS. PROGRAM. LANG. SYST
Citations:108 - 10 self