1 citations · 1 across the 1 of their papers we have counts for
1 paper
Shiri Morshtein, Ran Ettinger, Shmuel Tyszberowicz
Formal software verification techniques are widely used to specify and prove the functional correctness of programs. However, nonfunctional properties such as time complexity are u…