1
出版 2010
書本目錄: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
獲取全文
電子 電子書