94 citations · 97 across the 4 of their papers we have counts for
1 paper · 1 filter
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…