Inheritance and Modularity in Specification and Verification of OO Programs | IEEE Conference Publication | IEEE Xplore