CSimpl: A rely-guarantee-based framework for verifying concurrent programs

David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu

研究成果: 書籍/レポートタイプへの寄稿 › 会議への寄与