Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.

Matthew Hague, C.-H. Luke Ong

Browse the full FOSSACS paper archive.