Journal article published in "IEEE Transactions on Software Engineering"!

1 January 2020

The journal article “Extending Abstract Interpretation to Dependency Analysis of Database Applications”, by Jana, A., Halder, R., Abhishekh, K.V., Ganni, S.D., Cortesi, A., has just been published in “IEEE Transactions on Software Engineering”! Available here.