Isabelle/HOL Tutorial
July 15th, 2007 By recluze

Isabelle/HOL tutorial download link, especially for Mr. T:

http://www4.in.tum.de/~nipkow/LNCS2283/tutorial.pdf

See chapter 10 for Needham Shroeder Protocol case study.

Leave a Reply


(Required)

(Required)