Coq Implementation of OO Verification Framework VeriJ.

Ke Zhang, Zongyan Qiu

Browse the full SEFM paper archive.