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

SyVOLT: Full Model Transformation Verification Using Contracts