Dogfooding the structural operational semantics of mCRL2

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

Research output: Book/ReportReportAcademic

68 Downloads (Pure)

Fingerprint

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

Engineering & Materials Science