Gary T. Leavens, William E. Weihl. Specification and Verification of Object-Oriented Programs Using Supertype Abstraction. Acta Informatica, 32(8):705-778, 1995.
@article{LeavensW95,
title = {Specification and Verification of Object-Oriented Programs Using Supertype Abstraction},
author = {Gary T. Leavens and William E. Weihl},
year = {1995},
tags = {object-oriented programming, program verification, e-science, subject-oriented programming, abstraction, feature-oriented programming},
researchr = {https://researchr.org/publication/LeavensW95},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {32},
number = {8},
pages = {705-778},
}