Logic and Formal Methods
Mattias Ulbrich

Dr. Mattias Ulbrich

  •   

I have moved to Prof. Bernhard Beckert's group at KIT.

Please visit my new homepage