Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Detalhes bibliográficos
Principais autores: Hague, M, Ong, C
Formato: Journal article
Publicado em: 2008