%0 Conference Paper %1 conf/models/LucioOGSDCV15 %A Lúcio, Levi %A Oakes, Bentley James %A Gomes, Cláudio %A Selim, Gehan M. K. %A Dingel, Juergen %A Cordy, James R. %A Vangheluwe, Hans %B P&D@MoDELS %D 2015 %E Kulkarni, Vinay %E Badreddin, Omar %I CEUR-WS.org %K dblp %P 24-27 %T SyVOLT: Full Model Transformation Verification Using Contracts. %U http://dblp.uni-trier.de/db/conf/models/pd2015.html#LucioOGSDCV15 %V 1554

@inproceedings{conf/models/LucioOGSDCV15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Lúcio, Levi and Oakes, Bentley James and Gomes, Cláudio and Selim, Gehan M. K. and Dingel, Juergen and Cordy, James R. and Vangheluwe, Hans}, biburl = {https://www.bibsonomy.org/bibtex/293b1a765f25416adeb3eb022bbb6d628/dblp}, booktitle = {P&D@MoDELS}, crossref = {conf/models/2015pd}, editor = {Kulkarni, Vinay and Badreddin, Omar}, ee = {https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_8.pdf}, interhash = {72338c1dd90c15df45b2bcd57fdc9e05}, intrahash = {93b1a765f25416adeb3eb022bbb6d628}, keywords = {dblp}, pages = {24-27}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T22:00:15.000+0200}, title = {SyVOLT: Full Model Transformation Verification Using Contracts.}, url = {http://dblp.uni-trier.de/db/conf/models/pd2015.html#LucioOGSDCV15}, volume = 1554, year = 2015 }