Abstraction-Guided Synthesis of Synchronization

by Martin Vechev , Eran Yahav , Greta Yorsh
Citations:22 - 5 self