Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
Autori principali: | , |
---|---|
Natura: | Journal article |
Pubblicazione: |
2008
|
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Pubblicazione 2007
Conference item