%0 Conference Paper %B FMLDO %D 1993 %T Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage %A Giuseppe Amato %A Fosca Giannotti %A Gianni Mainetto %B FMLDO %P 19-29 %G eng