Preface
Geometry Constructions Language
Declarative Representation of Proof Terms
Procedural Representation of CIC Proof Terms
Crystal
HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler
Faster and More Complete Extended Static Checking for the Java Modeling Language