Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote. Dogfooding the Formal Semantics of mCRL2. In Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey, editors, 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. pages 90-99, IEEE Computer Society, 2012. [doi]
Abstract is missing.