30 citations · 97 across the 29 of their papers we have counts for
1 paper · 1 filter
Ruzica Piskac, Rayna Dimitrova
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…