TY  - RPRT
TI  - Sound Atomicity Inference for Data-Centric Synchronization
AU  - Hervé Paulino
AU  - Ana Almeida Matos
AU  - Jan Cederquist
AU  - Marco Giunti
AU  - João Matos
AU  - António Ravara
PY  - 2023
UR  - https://arxiv.org/abs/2309.05483
ID  - 2309.05483
ER  -