DMCA

Dynamic synthesis for relaxed memory models

by Feng Liu , Nayden Nedev , Nedyalko Prisadnikov , Martin Vechev , Eran Yahav
Citations:13 - 1 self