Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems

Bibliografiska uppgifter
Huvudupphovsmän: Hague, M, Ong, C
Materialtyp: Journal article
Publicerad: 2008

Liknande verk