HOME
RESEARCH
Groups
Projects
Docfunds
Publications
Software
NEWS
PEOPLE
TEACHING
TALKS
PRESS
CONTACT
Anja Petkovic Komel
PostDoc researcher
Group
Automated Program Reasoning
Websites
https://anjapetkovic.com/
Other links