Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski

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

Fingerprint

Dive into the research topics of 'Clafer: Lightweight Modeling of Structure, Behaviour, and Variability'. Together they form a unique fingerprint.

Engineering & Materials Science