![Petar Maksimović](https://popl24.sigplan.org/getProfileImage/petarmaksimovic/78c1727e-5c01-4481-9653-220d45cf0980/small.jpg?1711512173000)
Registered user since Wed 1 Nov 2017
Name:Petar Maksimović
Affiliation:Imperial College London, UK
Contributions
2024
Formal Methods for Incorrectness
POPL 2024-profile
View general profile
View general profile
Registered user since Wed 1 Nov 2017
Contributions