1
Veröffentlicht 2010
Inhaltsangabe: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Volltext
Elektronisch E-Book