Originalsprog | Engelsk |
---|---|
Tidsskrift | CEUR Workshop Proceedings |
Vol/bind | 1104 |
Sider (fra-til) | 32-41 |
ISSN | 1613-0073 |
Status | Udgivet - 5 dec. 2013 |
Example-Driven Modeling using Clafer
Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review