Search: The CALCULEMUS Research Training Network: A Short Overview
2003
[2]The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the First QPQ Workshop on Deductive Software Components at CADE-19, pp. 13-27, 2003. (slides) (Preprint: http://christoph-benzmueller.de/papers/W22.pdf) [bibtex]
[1]The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003), MMIII ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 1-16, 2003. (slides) (Preprint: http://christoph-benzmueller.de/papers/W21.pdf) [bibtex]