Artifact

FinCert Software

Author Derek Sorensen

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-05-16

Document Identifiers

DOI: 10.4230/artifacts.23081
URN: urn:nbn:de:0030-drops-230818

Author Details

Derek Sorensen

Department of Computer Science and Technology, University of Cambridge, UK

Content

Software (Source code): https://github.com/dhsorens/FinCert/tree/FMBC-25
archived version

Version/Status

Content created at: 2025-05-04
Status: Inactive (at the time of publication 2025-05-16)

Cite As Get BibTex

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

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

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

© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact