Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}