"Formally Verifying Graphics FPU - An Intel® Experience."

Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics