Algorithmic program synthesis: introduction

Rastislav Bodík, Barbara Jobstmann. Algorithmic program synthesis: introduction. STTT, 15(5-6):397-411, 2013. [doi]

Abstract

Abstract is missing.