Not registered as user yet
Name:Martina Seidl
Bio:
In September 2010, I joined the Institute for Formal Models and Verification of the Johannes Kepler Universität Linz. Before I came to Linz, I worked at the Business Informatics Group of the Vienna University of Technology.
Personal website:http://fmv.jku.at/seidl/
Contributions
| VMCAI | Committee Member in Program Committee | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile