conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
TLA+ - Tech Conference Talks and Videos | conf.directory | conf.directory
TLA+
3 talks about TLA+
36:46
Intermediate
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
Hillel Wayne
GOTO Conferences
5,769 views
June 10
2023
Watch Now
01:07:15
Intermediate
Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023
Scott Wlaschin
NDC Conferences
5,082 views
May 22
2023
Watch Now
01:04:08
Intermediate
Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020
Scott Wlaschin
NDC Conferences
4,507 views
August 10
2020
Watch Now
