Leung H. Program Correctness. TRIUMPHSAnnals [Internet]. 2026 Jun. 1 [cited 2026 Aug. 25];1(2). Available from: https://ticket17180.pkpmisc01.publicknowledgeproject.org/index.php/triumphsannals/article/view/18194