cotalks.dev
Login
Correctness proofs of distributed systems with Isabelle/HOL
(link)
Event:
Talks by Martin Kleppmann
|
2019
Channel:
Martin Kleppmann
unsorted
todo
resolved
completed
canceled
submit