Login
From:
muratbuffalo.blogspot.com
(Uncensored)
subscribe
Notes from the TLA+ Community Event
http://muratbuffalo.blogspot.com/2025/05/notes-from-tla-community-event.html
links
backlinks
Tagged with:
tla
trip-report
I attended the TLA+ Community Event at Hamilton, Ontario on Sunday. Several talks pushed the boundaries of formal methods in the real world...
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
