Formalizing process algebraic verifications in the calculus of constructions

M.A. Bezem, R.N. Bol, J.F. Groote

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

Fingerprint Dive into the research topics of 'Formalizing process algebraic verifications in the calculus of constructions'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science