ITU

Example-Driven Modeling using Clafer

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  • Michal Antkiewicz
  • Kacper Bak
  • Krzysztof Czarnecki
  • Zinovy Diskin
  • Dina Zayan
  • Andrzej Wasowski

View graph of relations

Original languageEnglish
JournalCEUR Workshop Proceedings
Volume1104
Pages (from-to)32-41
ISSN1613-0073
Publication statusPublished - 5 Dec 2013

ID: 58334645