FinCert Software

Author Derek Sorensen



Document Identifiers

Author Details

Derek Sorensen
  • Department of Computer Science and Technology, University of Cambridge, UK

Content

Version/Status

  • Content created at: 2023-03-01
  • Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Derek Sorensen. FinCert (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22478

Subject Classification

Programming Languages
  • Coq

Metrics

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail