Skip to search boxSkip to navigationSkip to main content

Example-Driven Modeling using Clafer

  • Michal Antkiewicz
    ,
  • Kacper Bak
    ,
  • Krzysztof Czarnecki
    ,
  • Zinovy Diskin
    ,
  • Dina Zayan
    ,
  • Andrzej Wasowski
  • University of Waterloo
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Open access

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 32-41

Journal (Volume, Issue Number)

CEUR Workshop Proceedings (Volume 1104)

Publication milestones

  • Published - 05/12/2013

Publication status

Published - 05/12/2013

ISSN

1613-0073

Publication IDs

  • Scopus: 84923771664

Publication metrics

PlumX

Captures
16
Citations
8

Access to documents