1
Udgivet 2010
Indholdsfortegnelse: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Få fuldtekst
Electronisk eBog