no code implementations • 2 Feb 2016 • Pavol Černý, Viktor Kuncak, Madhusudan Parthasarathy
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems.
Programming Languages Logic in Computer Science
