Original language | English |
---|---|
Title of host publication | Informal 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) |
Editors | F. Gervais, B. Fraikin |
Pages | 1-3 |
Publication status | Published - 2010 |
Generic programming in the mCRL2 toolset
J.W. Wesselink, J. Wulp, van der, J.J.A. Keiren
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
77
Downloads
(Pure)