@InCollection{InderRieden:BAI08,
  author =       "Thomas {In der Rieden} and Wolfgang J. Paul",
  title =        "{Beweisen} als {Ingenieurwissenschaft}:
                 {Verbundprojekt} {Verisoft} (2003--2007)",
  year =         "2008",
  pages =        "321--326",
  booktitle =    "Informatikforschung in Deutschland",
  publisher =    "Springer",
  editor =       "Bernd Reuse and Roland Vollmar",
}