3 ms·
Check the video I posted in the comments. Leslie Lamport goes into how Amazon Cloud services team uses TLA+.
by senthil_rajasek 7y ago
Check the video I posted in the comments. Leslie Lamport goes into how Amazon Cloud services team uses TLA+.
loading thread…