"Past-Free[ze] reachability analysis: reaching further with DAG-directed ..."

Ciprian Teodorov et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics