Automatic compositional reasoning for multi-thread programs.

Minqiang Gu, Qiang Liu

Browse the full CSCWD paper archive.