@online{keles2025formal,
author = {Alperen Keles},
title = {Formal Metotlar ve Kanıtlı Programlama Hakkında},
year = {2025},
url = {https://alperenkeles.com/posts/kanitli-programlama/},
note = {Archived at \url{https://web.archive.org/web/https://alperenkeles.com/posts/kanitli-programlama/}}
}
APA
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/
