Program sketching

Armando Solar-Lezama. Program sketching. STTT, 15(5-6):475-495, 2013. [doi]

Abstract

Abstract is missing.