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 tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftCEUR Workshop Proceedings
Vol/bind1104
Sider (fra-til)32-41
ISSN1613-0073
StatusUdgivet - 5 dec. 2013

Citationsformater