15 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Ximeng Li, Qianying Zhang, Guohui Wang +2
A reliable technique for deductive program verification should be proven sound with respect to the semantics of the programming language. For each different language, the construct…