DMCA

A Programmer-Centric Approach to Program Verification in ATS ∗

by Zhiqiang Ren , Hongwei Xi