Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper. Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Transactions on Programming Languages and Systems, 40(3), 2018. [doi]
@article{JacobsBK18,
title = {Modular Termination Verification of Single-Threaded and Multithreaded Programs},
author = {Bart Jacobs 0002 and Dragan Bosnacki and Ruurd Kuiper},
year = {2018},
doi = {10.1145/3210258},
url = {https://doi.org/10.1145/3210258},
researchr = {https://researchr.org/publication/JacobsBK18},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {40},
number = {3},
}