VOLT 2014 - Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014.

Moussa Amrani; Eugene Syriani; Manuel Wimmer

VOLT 2014 - Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014.

Moussa Amrani (Editeur Scientifique), Eugene Syriani (Editeur Scientifique), Manuel Wimmer (Editeur Scientifique)

Résultats de recherche: Livre/Rapport/Revue › Livre

langue originale	Anglais
Editeur	CEUR Workshop Proceedings
Etat de la publication	Publié - 2015

Série de publications

Nom	CEUR Workshop Proceedings
Editeur	CEUR-WS
Volume	1325
ISSN (imprimé)	1613-0073

Accès au document

Contient cette citation

Amrani, M., Syriani, E., & Wimmer, M. (eds.) (2015). VOLT 2014 - Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014. (CEUR Workshop Proceedings; Vol 1325). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-1325/

Amrani, Moussa (Editeur Scientifique) ; Syriani, Eugene (Editeur Scientifique) ; Wimmer, Manuel (Editeur Scientifique). / VOLT 2014 - Verification of Model Transformations : Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014. CEUR Workshop Proceedings, 2015. (CEUR Workshop Proceedings).

@book{2e942c4f34414c2cac20f5cf1dd27349,

title = "VOLT 2014 - Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014.",

editor = "Moussa Amrani and Eugene Syriani and Manuel Wimmer",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2015",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

}

Amrani, M, Syriani, E & Wimmer, M (eds) 2015, VOLT 2014 - Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014. CEUR Workshop Proceedings, VOL. 1325, CEUR Workshop Proceedings. <http://ceur-ws.org/Vol-1325/>

VOLT 2014 - Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014. / Amrani, Moussa (Editeur Scientifique); Syriani, Eugene (Editeur Scientifique); Wimmer, Manuel (Editeur Scientifique).
CEUR Workshop Proceedings, 2015. (CEUR Workshop Proceedings; Vol 1325).

Résultats de recherche: Livre/Rapport/Revue › Livre

TY - BOOK

T1 - VOLT 2014 - Verification of Model Transformations

T2 - Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2014), York, UK, July 21, 2014.

A2 - Amrani, Moussa

A2 - Syriani, Eugene

A2 - Wimmer, Manuel

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2015

Y1 - 2015

M3 - Book

T3 - CEUR Workshop Proceedings

BT - VOLT 2014 - Verification of Model Transformations

PB - CEUR Workshop Proceedings

ER -