Volgen
Soumava  Ghosh
Soumava Ghosh
Software Engineer, Apple Inc.
Geverifieerd e-mailadres voor utexas.edu
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.