There is a newer version of the record available.

Published December 1, 2022 | Version v1.1
Software Open

jaccokrijnen/2022-scp-translation-relations: Version for SCP paper (DOI)

Creators

Description

Coq implementation of translation relations described in Translation Ceritification for Smart Contracts (Submitted to SCP)

Files

jaccokrijnen/2022-scp-translation-relations-v1.1.zip

Files (60.1 kB)

Additional details

Related works

Is supplement to
https://github.com/jaccokrijnen/2022-scp-translation-relations/tree/v1.1 (URL)

This site uses cookies. Find out more on how we use cookies