Concepedia
1
Publications
985
Citations
H-Index
1997
Active since
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
Rows per page
1–1 of 1