Explore
Featured
Recent
Articles
Topics
Login
Upload
Featured
Recent
Articles
Topics
Login
Upload
Search Results for 'nth tree'
nth tree published presentations and documents on DocSlides.
Using Coq for Separation Logic and the need for a better ID
by ellena-manuel
Kenneth Roe. 6. /01/2015. The Johns Hopkins Unive...
Refinements to techniques for verifying shape analysis inva
by conchita-marotz
Kenneth . Roe. GBO Presentation. 9/30/2013. The J...
Class 16:
by sherrill-nordquist
Concurrency Rules. Fall 2010. UVa. David Evans. c...
Using the Coq theorem prover
by min-jolicoeur
to verify complex data structure invariants. Ken...
Load More...