Seguir
Soumava Ghosh
Soumava Ghosh
Software Engineer, Apple Inc.
Email confirmado em utexas.edu
Título
Citado por
Citado por
Ano
Simulation and formal verification of x86 machine-code programs that make system calls
S Goel, WA Hunt, M Kaufmann, S Ghosh
2014 Formal Methods in Computer-Aided Design (FMCAD), 91-98, 2014
532014
O sistema não pode efectuar a operação agora. Tente mais tarde.