94 citations · 97 across the 4 of their papers we have counts for
1 paper · 2 filters
Daniel Wright, Mark Batty, Brijesh Dongol
Deductive verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics for increasingly…