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
Find it!
