3 citations · 3 across the 1 of their papers we have counts for
1 paper
Pavol Černý, Viktor Kuncak, Madhusudan Parthasarathy
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…