Example-Driven Modeling using Clafer

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Access to Document

@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",

}