@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 =	 {144-157},
   year =	 {2009},
   editor =	 {J. Gibbons and J. N. Oliveira},
   volume =	 {5846},
   series =	 "LNCS",
   publisher =	 "Springer"
}