Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian. Footprint Logic for Object-Oriented Components. In Silvia Lizeth Tapia Tarifa, José Proença, editors, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Volume 13712 of Lecture Notes in Computer Science, pages 141-160, Springer, 2022. [doi]
@inproceedings{BoerGHB22,
title = {Footprint Logic for Object-Oriented Components},
author = {Frank S. de Boer and Stijn de Gouw and Hans-Dieter A. Hiep and Jinting Bian},
year = {2022},
doi = {10.1007/978-3-031-20872-0_9},
url = {https://doi.org/10.1007/978-3-031-20872-0_9},
researchr = {https://researchr.org/publication/BoerGHB22},
cites = {0},
citedby = {0},
pages = {141-160},
booktitle = {Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings},
editor = {Silvia Lizeth Tapia Tarifa and José Proença},
volume = {13712},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-20872-0},
}