TLA+ as a Design Accelerator: Lessons from the Industry

(muratbuffalo.blogspot.com)

4 points | by erdal1 6 hours ago ago