Crossmark

A Semantic Framework for Proof Evidence

Crossref DOI link: https://doi.org/10.1007/s10817-016-9380-6

Published Online: 2016-07-05

Published Print: 2017-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Chihani, Zakaria

Miller, Dale https://orcid.org/0000-0003-0274-4954
Renaud, Fabien
Funding

Funding for this research was provided by:

European Research Council (ProofCert)
License Information

License valid from 2016-07-05