Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems

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

people	Matthew Hague \| Luke Ong
activities	Model Checking
themes	Foundations, Logic and Structures