Leung, H. (2026) “Program Correctness”, Annals of the TRIUMPHS Society, 1(2). Available at: https://triumphsannals.journals.publicknowledgeproject.org/index.php/triumphsannals/article/view/18194 (Accessed: 10 July 2026).