2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Book title Buchtitel
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
 
Publisher Verlag
IEEE
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel Fully verifying transformation contracts for declarative ATLKonferenzbeitrag Inproceedings 2015