Formalizing process algebraic verifications in the calculus of constructions
Marc Bezem, Roland Bol, Jan Friso GrooteVolume:
9
Year:
1997
Language:
english
Pages:
48
DOI:
10.1007/bf01212523
File:
PDF, 2.44 MB
english, 1997