Formalizing process algebraic veri cations in the calculus of constructions. Computing Science (1995)

by M A Bezem, R Bol, J F Groote
Venue:Eindhoven University ofTechnology