TY  - SER
AU  - Soundarajan, Neelam
AU  - Fridella, Stephen
TI  - Base classes, derived classes, and client programs: Effectively reasoning about inheritance-based code
KW  - METHODS
KW  - CODE REUSE
KW  - OBJECT ORIENTED PROGRAMMING
ER  -