Verifying atomicity via data independence

التفاصيل البيبلوغرافية
العنوان:	Verifying atomicity via data independence
المؤلفون:	Shacham, Ohad, Yahav, Eran, Gueta, Guy Golan, Aiken, Alex, Bronson, Nathan, Sagiv, Mooly, Vechev, Martin
المصدر:	Proceedings of the 2014 International Symposium on Software Testing and Analysis
بيانات النشر:	ACM
سنة النشر:	2014
نوع الوثيقة:	conference object
اللغة:	unknown
DOI:	10.1145/2610384.2610402
الاتاحة:	http://dx.doi.org/10.1145/2610384.2610402 https://dl.acm.org/doi/pdf/10.1145/2610384.2610402
رقم الانضمام:	edsbas.C2DC869B
قاعدة البيانات:	BASE

الوصف
DOI:	10.1145/2610384.2610402