research data . Dataset . 2016

A Program Logic for C11 Memory Fences

Doko, Marko; Vafeiadis, Viktor;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg
doi: 10.1007/978-3-662-49122-5_20
Download from
https://dx.doi.org/10.1007/978...
Dataset . 2016
Provider: Datacite
Springer Berlin Heidelberg
Related research
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue