Program Analysis Using Weighted Pushdown Systems (Q5458821)
From MaRDI portal
scientific article; zbMATH DE number 5267212
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Analysis Using Weighted Pushdown Systems |
scientific article; zbMATH DE number 5267212 |
Statements
Program Analysis Using Weighted Pushdown Systems (English)
0 references
24 April 2008
0 references
