Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Other Views - Click on image to change view.

Close window