@Proceedings{AichernigBeckert05,
  editor =       {Bernhard Aichernig and Bernhard Beckert},
  title  =       {Software Engineering and Formal Methods. 
                  3rd IEEE International Conference, SEFM 2005, Koblenz, Germany,
                  September 7--9, 2005, Proceedings},
  publisher =    {IEEE Press},
  year =         {2005}
}