Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
Principais autores: | , |
---|---|
Formato: | Journal article |
Publicado em: |
2008
|
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Publicado em 2007
Conference item