Home
DCC eCatalog
Marc__Bezem
A formal verification of the alternating bit protocol in the calculus of constructions
