@inproceedings{wagner10ik,
  author    = {Markus Wagner},
  title     = {Testing a Verification Tool},
  year      = {2010},
  pages     = {562},
	booktitle     = {Course Material of the Interdisciplinary College 2010 Play, Act and Learn, IK 2010,
               12-19 March 2010, G{\"u}nne at Lake M{\"o}hnesee, Germany},
  editor		= {Robert Porzel and Natalie Sebanz and Manfred Spitzer},
}