Modular Termination Verification of Single-Threaded and Multithreaded Programs

Publication:

2018

Journal article

Author(s)

;

;

ACM Letters on Programming languages and Systems - TOPLAS

1864 since deposited on 2021-10-25

1last month

Acq. date: 2026-04-27