Coq

El siguiente libro está dirigido para todas aquellas personas interesadas en aprender sobre el estándar C formalizado en Coq.