1
Gepubliceerd in 2010
Inhoudsopgave: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Volledige tekst
Elektronisch E-boek