bookTexts in theoretical computer scienceJan 1, 2004Closed access

Interactive Theorem Proving and Program Development

YBYves BertotPCPierre Castéran

Institut Polytechnique de Bordeaux · Laboratoire Bordelais de Recherche en Informatique · +1 more institution

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,314
total citations
FWCI
16.39
Percentile
100%
References
0
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Proof assistant
  • Calculus (dental)
  • Automated theorem proving
  • Development (topology)
  • Computer science
  • Certification
  • Programming language
  • Computer-assisted proof
No related works found for this paper.