Specification and Verification of Model Transformations Using UML-RSDS.

Kevin Lano, Shekoufeh Kolahdouz Rahimi

Browse the full IFM paper archive.