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

by Marc Bezem, Jan Friso Groote
Venue:Utrecht University