AI for Program Verification

作者: Cristian Cadar, Abhik Roychoudhury