Vol-1553⫷ Vol-1554 ⫸Vol-1555
urn:nbn:de:0074-1554-0


Vol-1554/PD_MoDELS_2015_paper_7⫷Vol-1554/PD_MoDELS_2015_paper_8⫸Vol-1554/PD_MoDELS_2015_paper_10
Cláudio Gomes 0001James R. CordyHans VangheluweBentley J. OakesJürgen DingelLevi LucioGehan M. K. Selim

SyVOLT: Full Model Transformation Verification Using Contracts