Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage
| Title | Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage |
| Publication Type | Conference Paper |
| Year of Publication | 1993 |
| Authors | Amato, G, Giannotti, F, Mainetto, G |
| Conference Name | FMLDO |