Verifying C11 programs operationally (2019)

First Author: Doherty S
Attributed to:  Verifiably Correct Transactional Memory. funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1145/3293883.3295702

Publication URI: http://dx.doi.org/10.1145/3293883.3295702

Type: Conference/Paper/Proceeding/Abstract