Collaborative Verification of Uninterpreted Programs.

Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang

Browse the full TASE paper archive.