M. V. Achutha KiranKumar
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta et al. (2014) · International Symposium on Formal Methods