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