Gary T. Leavens, David A. Naumann. An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Volume 11174 of Lecture Notes in Computer Science, pages 39-88, Springer, 2017. [doi]
@inproceedings{LeavensN17,
title = {An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping},
author = {Gary T. Leavens and David A. Naumann},
year = {2017},
doi = {10.1007/978-3-030-02928-9_2},
url = {https://doi.org/10.1007/978-3-030-02928-9_2},
researchr = {https://researchr.org/publication/LeavensN17},
cites = {0},
citedby = {0},
pages = {39-88},
booktitle = {Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
editor = {Jonathan P. Bowen and Zhiming Liu 0001 and Zili Zhang},
volume = {11174},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-02928-9},
}