Integrating Object-Oriented Design and Deductive Verification of Software | IEEE Conference Publication | IEEE Xplore