Formal methods
[ar] طريقة شكلية
[az] Formal metodlar
[de] Formale Methode
[es] Método formal
[eu] Metodo formalak
[fa] روش‌های صوری
[fr] Méthode formelle (informatique)
[hu] Formális módszerek
[id] Metode formal
[it] Metodi formali