Concepedia
Statistics
Publications
1
Citations
985
H-Index
Active since
1997
Publications per year
1997–1997
The Coq proof assistant : reference manual, version 6.1
Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 985 citations · Full text
1–1 of 1