Generic programming in the mCRL2 toolset

J.W. Wesselink, J. Wulp, van der, J.J.A. Keiren

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

41 Downloads (Pure)

Fingerprint Dive into the research topics of 'Generic programming in the mCRL2 toolset'. Together they form a unique fingerprint.

Engineering & Materials Science