Dragana Milovancevic

According to our database, Dragana Milovancevic authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proving Termination via Measure Transfer in Equivalence Checking.

Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Proving and Disproving Equivalence of Functional Programming Assignments.

Dragana Milovancevic, Viktor Kuncak

Proc. ACM Program. Lang., 2023

Formula Normalizations in Verification.

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak

Proceedings of the Computer Aided Verification - 35th International Conference, 2023