![](/img/cover-not-exists.png)
Agile Validation of Model Transformations using Compound F-Alloy Specifications
Gammaitoni, Loïc, Kelsen, Pierre, Ma, QinLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2017.07.001
Date:
July, 2017
File:
PDF, 1.20 MB
english, 2017