@InProceedings{W22,
  key    =       {W22},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {The {CALCULEMUS} research training network: A short overview},
  booktitle = 	 {Proceedings of the First QPQ Workshop on Deductive Software Components at  CADE-19},
  pages = {13-27},
  year =	 2003,
  address =	 {Miami, USA}
}