MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS - WANG SHENGYI (2020)
Ph.D