Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1 - George Berkeley - Document - PDFSEARCH.IO

First Page	Meta Content
	Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1 Add to Reading List Document Date: 2010-10-29 12:59:27 Open Document File Size: 282,44 KB Share Result on Facebook

Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1Add to Reading List