Dhriti Khanna, Subodh Sharma 0001, Rahul Purandare. Verifying Exception-Handling Code in Concurrent Libraries. In 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023. pages 405-414, IEEE, 2023. [doi]
@inproceedings{KhannaSP23,
title = {Verifying Exception-Handling Code in Concurrent Libraries},
author = {Dhriti Khanna and Subodh Sharma 0001 and Rahul Purandare},
year = {2023},
doi = {10.1109/APSEC60848.2023.00051},
url = {https://doi.org/10.1109/APSEC60848.2023.00051},
researchr = {https://researchr.org/publication/KhannaSP23},
cites = {0},
citedby = {0},
pages = {405-414},
booktitle = {30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023},
publisher = {IEEE},
isbn = {979-8-3503-4417-2},
}