Formal Methods and Tools Formal methods & Tools University of Twente

Henrik Bohnenkamp

Since September 1 2005, I do not work any longer for the University of Twente.
My new cyber residence is at Aachen University.

This page was last updated by Henrik Bohnenkamp on 2005-11-03