Writing Specifications and Proving Correctness

Question 19

If you have written a proof of correctness for your code, then ...