1
Publicado 2010
Tabla de Contenidos: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Enlace del recurso
Electrónico eBook
2
por Spear, Chris., Spear, Chris.
Publicado 2008
Tabla de Contenidos: ... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...
Enlace del recurso
Electrónico eBook