Finite Map Extras

MaRDI QIDQ7361366FDO

Authors Javier Díaz

Publication date 12 October 2020

Cited in

(3)

• Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL
• Metatheory of Q0
• Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL

This page was built for software: Finite Map Extras