discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann
https://lawrencecpaulson.github.io/2022/10/12/verifying-distributed-systems-isabelle.html
7 comments
12/10/2022
distributed , formalmethods , ml