Dogfooding the structural operational semantics of mCRL2

F.P.M. Stappers, M.A. Reniers, J.F. Groote, S. Weber

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Dogfooding the structural operational semantics of mCRL2'. Together they form a unique fingerprint.

Engineering & Materials Science