Cargando…

Program synthesis

Detalles Bibliográficos
Autores principales: Gulwani, Sumit, Polozov, Oleksandr, Singh, Rishabh
Lenguaje:eng
Publicado: Now Publishers 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762175