Logic and Verification in Informatics
Business card at TUMonline
If you wish your profile to be changed or updated please contact Franz Langer.
Attention: JavaScript deactivated Please activate JavaScript to be able to use all website functions such as site search!