HOME
RESEARCH
Groups
Projects
Docfunds
Publications
Software
NEWS
PEOPLE
TEACHING
TALKS
PRESS
CONTACT
Axel Polaczek
Student research asssistant
Group
Automated Program Reasoning
Email
axel.polaczek@tuwien.ac.at
Other links