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

77 Downloads (Pure)
Original languageEnglish
Title of host publicationInformal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010)
EditorsF. Gervais, B. Fraikin
Pages1-3
Publication statusPublished - 2010

Fingerprint

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

Cite this