Dr. Nikolaj Popov
Research Area
Program VerificationOffice
Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis
Postal Address
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria
Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria