TY - CONF T1 - Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage T2 - FMLDO Y1 - 1993 A1 - Giuseppe Amato A1 - Fosca Giannotti A1 - Gianni Mainetto JF - FMLDO ER -