Login / Signup
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.
David Sanán
Yongwang Zhao
Zhe Hou
Fuyuan Zhang
Alwen Tiu
Yang Liu
Published in:
TACAS (1) (2017)
Keyphrases
</>
concurrent programs
database systems