Showing 1 - 1 results of 1 for search 'Chlipala, Adam', query time: 0.01s
Refine Results
-
1
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant by Chlipala, Adam
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter