Verifying distributed systems with Isabelle/HOL | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Verifying distributed systems with Isabelle/HOL | Heykuki News

Verifying distributed systems with Isabelle/HOL

lawrencecpaulson.github.io

163 points

4 years ago

18 comments