![Martina Seidl](https://conf.researchr.org/getProfileImage/martinaseidl/a6c27671-2337-4da5-b617-7ab47a607c40/small.jpg?1711648736000)
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
2016
POPL 2016-profile
View general profile
View general profile