Eran Yahav, and Greta Yorsh. Abstraction-guided synthesis of synchronization (2010)

by Martin T Vechev
Venue:In POPL