A Complete Bounded Model Checking Algorithm for Pushdown Systems
Autori principali: | , , |
---|---|
Natura: | Conference item |
Pubblicazione: |
Springer
2007
|
Autori principali: | , , |
---|---|
Natura: | Conference item |
Pubblicazione: |
Springer
2007
|