?
Repairing and mechanising the JavaScript relaxed memory model
P. 346-361.
Watt C., Pulte C., Подкопаев А. В., Barbier G., Dolan S., Flur S., Pichon-Pharabod J., Guo S.
В книге
NY : Association for Computing Machinery (ACM), 2020