Alperen Keles
posts
resume
research
projects
talks
documents
|
Entries tagged :: formal methods
.
2025-12-18
Formal Metotlar ve Kanıtlı Programlama Hakkında
tr
[software engineering, formal methods]
16 min read
