Formal Methods for High Integrity GPU Software Development and Verification | Publicación