Towards a feature mu-calculus targeting SPL verification

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
83 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Towards a feature mu-calculus targeting SPL verification'. Together they form a unique fingerprint.

Engineering & Materials Science