VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.

Moussa Amrani; Eugene Syriani; Manuel Wimmer

VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.

Moussa Amrani (Editor), Eugene Syriani (Editor), Manuel Wimmer (Editor)

Research output: Book/Report/Journal › Book

Original language	English
Publisher	CEUR Workshop Proceedings
Number of pages	53
Publication status	Published - 2015

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS
Volume	1530
ISSN (Print)	1613-0073

Access to Document

Cite this

Amrani, M., Syriani, E., & Wimmer, M. (Eds.) (2015). VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. (CEUR Workshop Proceedings; Vol. 1530). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-1530/

Amrani, Moussa (Editor) ; Syriani, Eugene (Editor) ; Wimmer, Manuel (Editor). / VOLT 2015 - Verification of Model Transformations : Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. CEUR Workshop Proceedings, 2015. 53 p. (CEUR Workshop Proceedings).

@book{6a9a4ad16a434beb9f8c9f8e480d9b7f,

title = "VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.",

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 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. CEUR Workshop Proceedings, vol. 1530, CEUR Workshop Proceedings. <http://ceur-ws.org/Vol-1530/>

VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. / Amrani, Moussa (Editor); Syriani, Eugene (Editor); Wimmer, Manuel (Editor).
CEUR Workshop Proceedings, 2015. 53 p. (CEUR Workshop Proceedings; Vol. 1530).

Research output: Book/Report/Journal › Book

TY - BOOK

T1 - VOLT 2015 - Verification of Model Transformations

T2 - Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.

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 2015 - Verification of Model Transformations

PB - CEUR Workshop Proceedings

ER -

Amrani M, (ed.), Syriani E, (ed.), Wimmer M, (ed.). VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. CEUR Workshop Proceedings, 2015. 53 p. (CEUR Workshop Proceedings).