Chair of Software Engineering, University of Wuerzburg
http://descartes-research.net