3 ms·
When you convince yourself of the program correctness, are you using techniques from the class? Any advice on reasoning about correctness?
by vendiddy 2y ago
When you convince yourself of the program correctness, are you using techniques from the class?
Any advice on reasoning about correctness?