conf.researchr.org / Michel Vazirani
Not registered as user yet
Name:Michel Vazirani
Affiliation:Columbia University
Contributions
| APLAS 2021 | Author of Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications within the Research Papers-track |