DMCA

Recursive proofs for inductive tree data-structures

by P Madhusudan , Xiaokang Qiu , Andrei Stefanescu
Venue:In POPL’12 (2012), ACM
Citations:9 - 5 self