next up previous
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.





Giampaolo Bella
Mon Aug 4 18:43:12 BST 1997