Modelling Metamorphism by Abstract Interpretation.

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend

Browse the full SAS paper archive.