num_pages: 500
description: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
language: English
title: Interactive Theorem Proving and Program Development
publisher: Springer