3 ms·
It goes to considerable lengths to discuss formal methods, reasonability, and saner programming languages, yet it doesn't even mention Ada/SPARK? What garbage.
by gnarly 10y ago
It goes to considerable lengths to discuss formal methods, reasonability, and saner programming languages, yet it doesn't even mention Ada/SPARK? What garbage.