If you made any changes in Pure these will be visible here soon.

Thesis

Reasoning About C11 Programs with Fences and Relaxed Atomics

Author: He, M., 16 Feb 2018

Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)

Student thesis: Doctoral Thesis