90 followers
Coq Implementation of Object-Oriented Verification Framework VeriJ by Ke Zhang and Zongyan Qiu https://t.co/WMndho3SUl #sefm16 #staf16
Coq Implementation of Object-Oriented Verification Framework VeriJ by Ke Zhang and Zongyan Qiu https://t.co/WMndho3SUl #sefm16 #staf16