Anna Trostanetski

According to our database, Anna Trostanetski authored at least 2 papers between 2016 and 2017.

Collaborative distances:

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

2017

Modular Demand-Driven Analysis of Semantic Difference for Program Versions.

Anna Trostanetski, Orna Grumberg, Daniel Kroening

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Minimal unsatisfiable core extraction for SMT.

Ofer Guthmann, Ofer Strichman, Anna Trostanetski

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016