DMCA

Effective abstractions for verification under relaxed memory models (2015)

Cached

Download Links

by Andrei Dan , Yuri Meshman , Martin Vechev , Eran Yahav
Venue:In VMCAI
Citations:1 - 0 self