Benjamin Werner
Author
Alternate names Benjamin Werner, Benjamin Alfred S Werner, B. Werner
Institution Czech Technical University in Prague
Past institutions École Polytechnique, Laboratoire d'Informatique de l'École Polytechnique, Czech Technical University in Prague, Inria Saclay - Île de France, TU Wien +5 more
ORCID: Yes
H-index: 18
I10-index: 29
Works count: 75
Citations count: 2,187
The Coq proof assistant : reference manual, version 6.1
1997 · Bruno Barras, Samuel Boutin, et al.
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
2011 · Michaël Armand, Germain Faure, et al. · Lecture notes in computer science
The Coq proof assistant user's guide : version 5.6
1991 · Gilles Dowek, Amy Felty, et al.