Title: Formally Verified Numerical Methods Andrew W. Appel, Professor of Computer Science, Princeton; Visiting Professor, Cornell Abstract: Formal machine-checked program verification uses mechanized...
Read more about CAM Colloquium - Andrew Appel, Department of Computer Science, Princeton University