BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
Collaborated with:
A.Gupta R.Ghughal
Talks about:
graphic (1) verifi (1) formal (1) experi (1) intel (1) fpu (1)

Person: V. M. Achutha KiranKumar

DBLP DBLP: KiranKumar:V=_M=_Achutha

Contributed to:

FM 20142014

Wrote 1 papers:

FM-2014-GuptaKG #experience #verification
Formally Verifying Graphics FPU — An Intel® Experience (AG, VMAK, RG), pp. 673–687.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.