search

Finhaven / whitepaper-club

Repo for the Finhaven whitepaper reading sessions
MIT License
18 stars 3 forks source link

Isabelle/HOL Bytecode Verification #20

Open expede opened 6 years ago

expede commented 6 years ago

http://ssrg.nicta.com/publications/csiro_full_text//Amani_BSB_18.pdf