%0 Conference Paper %1 conf/fmldo/AmatoGM93 %A Amato, Giuseppe %A Giannotti, Fosca %A Mainetto, Gianni %B FMLDO %D 1993 %E Heuer, Andreas %E Scholl, Marc H. %I Technische Universität Clausthal %K dblp %P 19-29 %T Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. %U http://dblp.uni-trier.de/db/conf/fmldo/fmldo93.html#AmatoGM93 %V 93/9

@inproceedings{conf/fmldo/AmatoGM93, added-at = {2022-11-18T00:00:00.000+0100}, author = {Amato, Giuseppe and Giannotti, Fosca and Mainetto, Gianni}, biburl = {https://www.bibsonomy.org/bibtex/29a464ffb2f92d1c1d44772a64db3e6c5/dblp}, booktitle = {FMLDO}, crossref = {conf/fmldo/1993}, editor = {Heuer, Andreas and Scholl, Marc H.}, interhash = {1927fabae8cc4e7bbca4f9a321a0aac2}, intrahash = {9a464ffb2f92d1c1d44772a64db3e6c5}, keywords = {dblp}, pages = {19-29}, publisher = {Technische Universität Clausthal}, series = {Informatik-Berichte des IfI}, timestamp = {2024-04-10T18:34:04.000+0200}, title = {Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage.}, url = {http://dblp.uni-trier.de/db/conf/fmldo/fmldo93.html#AmatoGM93}, volume = {93/9}, year = 1993 }