Strange Loop Conference·30 min
Hillel Wayne
Engineers explore architecture and security mechanisms for "Tackling Concurrency Bugs with TLA+" by Hillel Wayne.
tacklingconcurrencybug+3
Hillel Wayne
1 talk in the archive.
Filters+
Loading filters…
1–1 of 1 talk · loading…