TY  - CONF

T1  - Verifying C11 programs operationally

JO  - Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming

PY  - 2019/05/12

AU  - Doherty S

AU  - Dongol B

AU  - Wehrheim H

AU  - Derrick J

ED  - 

DO  - DOI: 10.1145/3293883.3295702

SN  - 9781450362252

SP  - 355

EP  - 365

Y2  - 2024/12/26

ER  -