Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman. Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. In Kohei Arai, editor, Intelligent Computing - Proceedings of the 2022 Computing Conference, Volume 1, SAI 2022, Virtual Event, 14-15 July 2022. Volume 506 of Lecture Notes in Networks and Systems, pages 58-74, Springer, 2022. [doi]
@inproceedings{MbwamboSKS22,
title = {Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position},
author = {Nicodemus Msafiri John Mbwambo and Yu-Shan Sun and Joan Krone and Murali Sitaraman},
year = {2022},
doi = {10.1007/978-3-031-10461-9_4},
url = {https://doi.org/10.1007/978-3-031-10461-9_4},
researchr = {https://researchr.org/publication/MbwamboSKS22},
cites = {0},
citedby = {0},
pages = {58-74},
booktitle = {Intelligent Computing - Proceedings of the 2022 Computing Conference, Volume 1, SAI 2022, Virtual Event, 14-15 July 2022},
editor = {Kohei Arai},
volume = {506},
series = {Lecture Notes in Networks and Systems},
publisher = {Springer},
isbn = {978-3-031-10461-9},
}