Oracle semantics for concurrent separation logic (2008)

by Aquinas Hobor
Venue:In Proc. European Symp. on Programming (ESOP 2008
Citations:58 - 12 self