@Proceedings{Aichernig:SEFM05,
  editor =       "Bernhard K. Aichernig and Bernhard Beckert",
  title =        "Third {IEEE} International Conference on Software
                 Engineering and Formal Methods ({SEFM} 2005), 7--9
                 September 2005, Koblenz, Germany",
  publisher =    "IEEE Computer Society",
  year =         "2005",
  ISBN =         "0-7695-2435-4",
}