Keles, A. (2025, December 18). Formal Metotlar ve Kanıtlı Programlama Hakkında. Alperen Keles. https://alperenkeles.com/posts/kanitli-programlama/. Archived at https://web.archive.org/web/https://alperenkeles.com/posts/kanitli-programlama/