Shiri Morshtein

According to our database, Shiri Morshtein authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Verifying Time Complexity of Binary Search using Dafny.

Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021