Software Foundations edit / delete

Practical proof in programming; based on Coq. Full text of the book available online.

to coq correctness proof teaching ... on 10 February 2017

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom