Explaining relaxed memory models with program transformations

Version 1.0, released 2016-05-31

This page has been generated by coqdoc