A formal veri of the alternating bit protocol in the calculus of constructions (1993)

by M Bezem, J F Groote
Venue:Dept. of Philosophy, Utrecht University