Home » user account

Andreas Bauer

Personal information


male

Formal methods in software engineering, embedded systems, runtime verification, compilers & programming languages

History


20 years 33 weeks