1
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Poster Session 3 (Continued): Segmentation, Grouping, and Classification Multi-layer Spectral...
View full text
Electronic eBook