PanLinx
Türkçe
tur-000
biçimsel yöntem
English
eng-000
formal method
PanLex