Analysis of Model Transformations via Alloy

Kyriakos Anastasakis, Behzad Bordbar, JM Kuster

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	47-56
Number of pages	10
Publication status	Published - 1 Oct 2007
Event	Proceedings of 4th Workshop on Model-Driven Engineering, Verification and and Validation (MoDeVVA'07) - Duration: 1 Oct 2007 → …

Conference	Proceedings of 4th Workshop on Model-Driven Engineering, Verification and and Validation (MoDeVVA'07)
Period	1/10/07 → …

Cite this

@conference{a74dbbc218694b71afcfc56d51968c00,

title = "Analysis of Model Transformations via Alloy",

author = "Kyriakos Anastasakis and Behzad Bordbar and JM Kuster",

year = "2007",

month = oct,

day = "1",

language = "English",

pages = "47--56",

note = "Proceedings of 4th Workshop on Model-Driven Engineering, Verification and and Validation (MoDeVVA'07) ; Conference date: 01-10-2007",

}