VOLT@STAF

Keyphrases

Publications

2015

volume 1530, 2015

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. VOLT@STAF 1530 (2015)

volume 1325, 2015

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

2014