"Static Analysis of Transactions: an Experiment of Abstract Interpretation ..."

Giuseppe Amato, Fosca Giannotti, Gianni Mainetto (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics