VeriFix: Verifying your fix towards an atomicity violation.
Saved in:
| Title: | VeriFix: Verifying your fix towards an atomicity violation. |
|---|---|
| Authors: | Li, Zhuang1, Yi, Qiuping1, yiqiuping@bupt.edu.cn, Huang, Jeff2 |
| Source: | Journal of Systems & Software; Dec2025, Vol. 230, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!