Next:
Overview
Up:
Using Isabelle to Prove
Previous:
Kerberos
The Inductive Method
For the entire treatment of the method, we refer to [
8
]. Only some guidelines are given here.
Overview
Operators
Guarantees
Giampaolo Bella
Mon Aug 4 18:43:12 BST 1997
