[1]
A. Donaldson, “The GPUVerify Method: a Tutorial Overview”, eceasst, vol. 70, Nov. 2014.