Analysis of Model Transformations via Alloy

Kyriakos Anastasakis, Behzad Bordbar, JM Kuster

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages47-56
Number of pages10
Publication statusPublished - 1 Oct 2007
EventProceedings of 4th Workshop on Model-Driven Engineering, Verification and and Validation (MoDeVVA'07) -
Duration: 1 Oct 2007 → …

Conference

ConferenceProceedings of 4th Workshop on Model-Driven Engineering, Verification and and Validation (MoDeVVA'07)
Period1/10/07 → …

Cite this