Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks (CONCUR, 2013)

(untitled) - Kochems, J; Ong, C