TY  - RPRT
TI  - Dynamic Verification with Observational Equivalence of C/C++ Concurrency
AU  - Sanjana Singh
AU  - Divyanjali Sharma
AU  - Subodh Sharma
PY  - 2022
UR  - https://arxiv.org/abs/1905.03957
ID  - 1905.03957
ER  -