Example-Driven Modeling using Clafer

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Adgang til dokumentet

@inproceedings{b856c46c19764644815cd7ceea61fc29,

title = "Example-Driven Modeling using Clafer",

author = "Michal Antkiewicz and Kacper Bak and Krzysztof Czarnecki and Zinovy Diskin and Dina Zayan and Andrzej Wasowski",

year = "2013",

month = dec,

day = "5",

language = "English",

volume = "1104",

pages = "32--41",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR Workshop Proceedings",

}