1
Published 2015
Table of Contents: ... in Binaries -- Fine-Grained Caching of Verification Results -- Predicting a Correct Program in Programming...
View full text
Electronic eBook