Report - Formal Verification of Relational Model …Formal Verification of Relational Model Transformations using an Intermediate Verification Language Zheng Cheng Supervisors: Dr. Rosemary

Please pass captcha verification before submit form