| Title | Constraint Databases and Program Analysis Using Abstract Interpretation |
| Publication Type | Conference Paper |
| Year of Publication | 1997 |
| Authors | Toman, D. |
| Conference Name | International Symposium on the Applications of Constraint Databases (CDB) |
| DOI | 10.1007/3-540-62501-1_36 |
