Mehran Moeini Jam
Projektass.(FWF) / Master Degree
Research Areas
- Software Verification, Automata Theory, Computational Logic, Formal Methods
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Projektass.(FWF) / Master Degree