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]
@inproceedings{StappersRWG12,
title = {Dogfooding the Formal Semantics of mCRL2},
author = {Frank P. M. Stappers and Michel A. Reniers and Sven Weber and Jan Friso Groote},
year = {2012},
doi = {10.1109/SEW.2012.16},
url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16},
researchr = {https://researchr.org/publication/StappersRWG12},
cites = {0},
citedby = {0},
pages = {90-99},
booktitle = {35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012},
editor = {Jonathan P. Bowen and Huibiao Zhu and Mike Hinchey},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-5574-2},
}