Abstraction-guided synthesis of synchronization (2010)

by M T Vechev, E Yahav, G Yorsh
Venue:In POPL