"Formal Modelling, Testing and Verification of HSA Memory Models using Event-B."

Ashish Darbari et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics