@inproceedings{inproceedings, title  = {{Verifying C11 programs operationally}},

 url = {{}},

 year = {{2019}},

 month = {{5}},

 author = {{Doherty S and Dongol B and Wehrheim H and Derrick J}},

 doi = {{10.1145/3293883.3295702}},

 isbn = {{9781450362252}},

 journal = {{Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming}},

 pages = {{355-365}},

 note = {{Accessed on 2024/12/22}}}