People
Wolfgang Windsteiger
Email
Wolfgang.Windsteiger@risc.jku.at
Edited Books
2013
(1 publication) - Lange, C. and Aspinall, D. and Carette, J. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Quaresma, P. and Rabe, F. and Sojka, P. and Whiteside, I. and Windsteiger, W. , Proceedings of the Workshops and Work in Progress at CICM 2013 , vol. 1010, 2013 [ DOI ]