Normal view
MARC view
Chlipala, Adam (Personal Name)
Machine generated authority record.
Work cat.: (OSt)1414: Chlipala, Adam, Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant, c2013