Dragana Milovancevic

Registered user since Wed 16 Jun 2021

Name:Dragana Milovancevic

Affiliation:EPFL

Contributions

PLDI 2023	Proving and Disproving Equivalence of Functional Programming Assignments
Show activities from other conferences