HOME
MAIL
NEWS
FINANCE
SPORTS
ENTERTAINMENT
LIFE
SEARCH
SHOPPING
YAHOO PLUS
MORE...
mobile
mobile
Search query
Sign in
Mail
Sign in
to view your mail
Menu
Research Home
Show More
Research Areas
Publications
Datasets
News
Follow Us
martin vechev
Research Areas:
Publications
Verifying Atomicity via Data Independence
ISSTA • Jul 23 2014
Verifying Atomicity via Data Independence
Browse Publications
Help
About our ads