TY  - RPRT
TI  - Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version)
AU  - Pedro Barroso
AU  - Mário Pereira
AU  - António Ravara
PY  - 2022
UR  - https://arxiv.org/abs/2212.02425
ID  - 2212.02425
ER  -