| 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
81
Downloads
(Pure)