1
Publicado em 2010
Sumário: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Obter o texto integral
Recurso Electrónico livro electrónico