Inheritance of proofs

• 1 January 1998
• journal article
• research article
• Published by Wiley in Theory and Practice of Object Systems
• Vol. 4  (1) , 51-69
• https://doi.org/10.1002/(sici)1096-9942(1998)4:1<51::aid-tapo4>3.0.co;2-a

Abstract

Keywords

• TREATMENT
• MODEL
• FUNCTIONAL
• PRINCIPLES
• OBJECT ORIENTED
• STRUCTURING
• INHERITANCE OF PROOFS