KeY for Teaching

The following pages contain material (course notes, slides, exercises) for teaching formal methods with KeY:

In addition, the KeY Book is an excellent teaching resource.