Alperen Keles

2025-12-22

Test, don't (just) verify
en [software engineering, testing, formal methods]
13 min read
2025-12-18

Formal Metotlar ve Kanıtlı Programlama Hakkında
tr [software engineering, formal methods]
16 min read

Test, don't (just) verify