Normal view
MARC view
- Ray, Sandip
Ray, Sandip (Nombre personal)
Scalable techniques for formal verification, c2010: t.p. (Sandip Ray) t.p. verso (Dr. Sandip Ray; Dept. of Computer Sciences, Univ. of Texas, Austin)