Petar Maksimović is a Research Fellow with the group and the Academic Program Manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS).
He also holds the position of Research Assistant Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.
Proceedings of the 33 rd European Conference on Object-Oriented Programming (ECOOP’19). , pp. 10:1–10:30