Loading…
Attending this event?
Wednesday, March 25 • 12:20pm - 1:00pm
Weeks of Debugging Can Save You Hours of TLA+

Sign up or log in to save this to your schedule and see who's attending!

Speakers
MA

Markus A Kuppe

Microsoft Research
A jack of all trades, a master of some (if any).


Wednesday March 25, 2020 12:20pm - 1:00pm
Track 2: TBA