Not registered as user yet
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.
|VMCAI||Committee Member in Program Committee|
|Show activities from other conferences|
View general profile