SEPTEMBER 12-14 2019 / STIFEL THEATRE / ST. LOUIS, MO
TLA+Conf #tlaconf @martinkl @strangeloop_stl
#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/
