Cover von Owicki-Gries Reasoning for C11 RAR opens in new tab

Owicki-Gries Reasoning for C11 RAR

Year: 2020
Media group: LIPIcs

Details

Search for this author
Year: 2020
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1-26
Participating parties: Search for this character Dalvandi, Sadegh; Doherty, Simon; Dongol, Brijesh; Wehrheim, Heike
Media group: LIPIcs