15 citations · 17 across the 3 of their papers we have counts for
1 paper · 2 filters
Robert Dickerson, Qianchuan Ye, Michael K. Zhang +1
Hoare-style program logics are a popular and effective technique for software verification. Relational program logics are an instance of this approach that enables reasoning about…