TY  - RPRT
TI  - Formally Verified Lock-Free Software Transactional Memory for Scientific Measurement
AU  - Kentaro Kitagawa
PY  - 2026
UR  - https://arxiv.org/abs/2608.12024
ID  - 2608.12024
ER  -