@InProceedings{ABH09,
 author = 	 {Wolfgang Ahrendt and Richard Bubel and Reiner H\"{a}hnle},
 title = 	 {Integrated and Tool-Supported Teaching of Testing,
                 Debugging, and Verification},
 booktitle =	 {Proc.\ Second International Conference on Teaching Formal Methods},
 pages =	 {125--143},
 year =	 {2009},
 editor =	 {J. Gibbons and J. N. Oliveira},
 volume =	 {5846},
 series =	 lncs,
 publisher =	 spv
}