Leung, H. (2026). Program Correctness. Annals of the TRIUMPHS Society, 1(2). Retrieved from https://triumphsannals.journals.publicknowledgeproject.org/index.php/triumphsannals/article/view/18194