2 Algorithm 05/09/2021 by codecrucks by codecrucks · Published 05/09/2021 · Last modified 27/03/2023 Correctness of Algorithm – Concept and Proof