Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

书目详细资料
Main Authors: Hague, M, Ong, C
格式: Journal article
出版: 2008