Search Results for 'treerecords nil'

treerecords nil published presentations and documents on DocSlides.

Refinements to techniques for verifying shape analysis inva

by conchita-marotz

Kenneth . Roe. GBO Presentation. 9/30/2013. The J...

Using the Coq theorem prover

by min-jolicoeur

to verify complex data structure invariants. Ken...