Dogfooding the Formal Semantics of mCRL2.

Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote

Browse the full SEW paper archive.