Weeks of Debugging Can Save You Hours of TLA+

Weeks of Debugging Can Save You Hours of TLA+

USENIX via YouTube Direct link

SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+

1 of 1

1 of 1

SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Weeks of Debugging Can Save You Hours of TLA+

Automatically move to the next video in the Classroom when playback concludes

  1. 1 SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.