Synthesis of P-Stable Abstractions.

Anna Becchi, Alessandro Cimatti, Enea Zaffanella

Browse the full SEFM paper archive.