Följ
Soumava Ghosh
Soumava Ghosh
Software Engineer, Apple Inc.
Verifierad e-postadress på utexas.edu
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.