DMCA

Recursive proofs for inductive tree data-structures (2012)

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