Abstraction-Guided Synthesis of Synchronization

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