Translation-based co-verification.

Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi

Browse the full MEMOCODE paper archive.