share record
short URL:
https://dblp.org/rec/conf/cpp/2015 Xavier Leroy ,
Alwen Tiu :
Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. ACM 2015 , ISBN
978-1-4503-3296-5
share record
short URL:
https://dblp.org/rec/conf/cpp/Vafeiadis15
export record
dblp key:
conf/cpp/RamananandroSWKF15 share record
short URL:
https://dblp.org/rec/conf/cpp/RamananandroSWKF15 share record
short URL:
https://dblp.org/rec/conf/cpp/KrebbersW15 share record
short URL:
https://dblp.org/rec/conf/cpp/BodinJS15
share record
short URL:
https://dblp.org/rec/conf/cpp/SternagelWZ15 share record
short URL:
https://dblp.org/rec/conf/cpp/GauthierK15 share record
short URL:
https://dblp.org/rec/conf/cpp/KaliszykUV15
share record
short URL:
https://dblp.org/rec/conf/cpp/SchaferST15 share record
short URL:
https://dblp.org/rec/conf/cpp/Eberl15 Manuel Eberl :
A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. 75-83 share record
short URL:
https://dblp.org/rec/conf/cpp/Kuncar15 Ondrej Kuncar :
Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants. 85-94
share record
short URL:
https://dblp.org/rec/conf/cpp/Shao15 Zhong Shao :
Clean-Slate Development of Certified OS Kernels. 95-96
share record
short URL:
https://dblp.org/rec/conf/cpp/CaoFF15 share record
short URL:
https://dblp.org/rec/conf/cpp/BlazyMP15 share record
short URL:
https://dblp.org/rec/conf/cpp/JiaLV15
share record
short URL:
https://dblp.org/rec/conf/cpp/Immler15 Fabian Immler :
A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection. 129-136 share record
short URL:
https://dblp.org/rec/conf/cpp/LammichN15 share record
short URL:
https://dblp.org/rec/conf/cpp/Bertot15 Yves Bertot :
Fixed Precision Patterns for the Formal Verification of Mathematical Constant Approximations. 147-155
Mechanizing Fundamental Computer Science
share record
short URL:
https://dblp.org/rec/conf/cpp/ChaudhuriCM15 share record
short URL:
https://dblp.org/rec/conf/cpp/FirsovU15 share record
short URL:
https://dblp.org/rec/conf/cpp/Asperti15 Andrea Asperti :
The Speedup Theorem in a Primitive Recursive Framework. 175-182
maintained by
, founded at