Certified Programs and Proofs

This book constitutes the refereed proceedings of the Second International Conference on Certifie...