Clafer

swMATH32317MaRDI QIDQ44028FDOQ44028

Author name not available (Why is that?)

Cited In (2)

• A theoretical framework for cardinality-based feature models: the semantics and computational aspects
• Symbolic Model Generation for Graph Properties

This page was built for software: Clafer