Eran Yahav, and Greta Yorsh. Abstractionguided synthesis of synchronization (2010)

by Martin Vechev
Venue:In POPL