Swarthmore College
(affiliation)
Institution: Swarthmore College
Institution type: university
Country: United States
Place: Swarthmore
Affiliated authors
Libkind, Sophie
Papers
SMC Conference 2014
Machine Improvisation With Formal Specifications
Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel