SEPTEMBER 12-14 2019 / STIFEL THEATRE / ST. LOUIS, MO
#tlaconf https://conf.tlapl.us/program/ivanbeschastnikh/ @strangeloop_stl
Exposing Design Flaws in Shared-Clock Systems with TLA+ #tlaconf https://conf.tlapl.us/program/russellmull/
