Synthesis of P-Stable Abstractions.

Anna Becchi Alessandro Cimatti Enea Zaffanella

Published in: SEFM (2020)

Keyphrases

program synthesis
information retrieval
high level
database
decision making
case study
wide range