Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage

You are here

TitleStatic Analysis of Transactions: an Experiment of Abstract Interpretation Usage
Publication TypeConference Paper
Year of Publication1993
AuthorsAmato, G, Giannotti, F, Mainetto, G
Conference NameFMLDO
Taxonomy upgrade extras: