Nikolaj Popov

Research Area

Program Verification

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: 2.9-2

Postal Address

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria