Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Customers who purchased this also purchased....