Towards modular verification of software product lines with mCRL2

M.H. Beek, ter, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)
3 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Towards modular verification of software product lines with mCRL2'. Together they form a unique fingerprint.

Engineering & Materials Science