DMCA

Automatic Synthesis of Deterministic Concurrency

by Veselin Raychev , Martin Vechev , Eran Yahav
Citations:3 - 1 self