Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems

M. Hague and C.-H. L. Ong

book title	FoSSaCS
year	2007

people	Matthew Hague \| Luke Ong
activities	Model Checking
themes	Theory and Automated Verification