3 ms·
From the author of "The Power of 10" (among other excellent writings): "Mars Code - Gerard Holzmann, JPL Laboratory for Reliable Software" https://www.youtube.
by RossBencina 11mo ago
From the author of "The Power of 10" (among other excellent writings):
"Mars Code - Gerard Holzmann, JPL Laboratory for Reliable Software"
https://www.youtube.com/watch?v=16dQLBgOwbE https://www.youtube.com/watch?v=16dQLBgOwbE