ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015)
Event name
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015)
Start date
27-09-2015
End date
02-10-2015
Location
Ottawa, Canada
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel | Fully verifying transformation contracts for declarative ATL | Konferenzbeitrag Inproceedings  | 2015 |