1 citations · 1 across the 1 of their papers we have counts for
1 paper
Travis Hance, Jon Howell, Oded Padon +1
In concurrent verification, separation logic provides a strong story for handling both resources that are owned exclusively and resources that are shared persistently (i.e., foreve…