Using OCL for verified re-engineering.

Kevin Lano, Hanan Abdulwahab Siala

Browse the full MODELS paper archive.