1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang +2
While software requirements are often expressed in natural language, verifying the correctness of a program against such requirements is a hard and underexplored problem. Large lan…