Formalizing Process Algebraic Verifications in the Calculus of Constructions

Cached

Download Links

by Marc Bezem , Jan Friso Groote , Roland Bol
Citations:18 - 7 self