159 citations · 646 across the 48 of their papers we have counts for
1 paper · 1 filter
Bernd Finkbeiner, Armando Solar-Lezama
Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together res…