Ivana Bocevska

PhD student

Group Automated Program Reasoning
Email ivana.bocevska@tuwien.ac.at
Other links