LINKED LIST [txt mode] ▸ Project Oak: Control Data in Distribu...
home explore | log in

Project Oak: Control Data in Distributed Systems, Verify All The Things (DeepSpec 2019) - PLDI 2019

pldi19.sigplan.org · 2026-10-01 · 0 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* Project Oak (from the discussion)