Vafeiadis, Viktor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Vafeiadis, V. (2017). Program Verification Under Weak Memory Consistency Using Separation Logic. In R. Majumdar (Ed.), Computer Aided Verification (pp. 30-46). Berlin: Springer. doi:10.1007/978-3-319-63387-9_2.