Interactive Theorem Proving And Program Development

Interactive Theorem Proving And Program Development
by Yves Bertot / / / DjVu


Read Online 3.2 MB Download


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.

views: 113