método formal; 形式化方法; formális módszerek; metodo formalak; kaedah formal; formale Methode; metodat formale; روش‌های صوری; 形式化方法; biçimsel yöntemler; 形式化方法; formella metoder; формальні методи; 形式化方法; 정형 기법; formala metodo; metodo formale; méthode formelle; фармальныя мэтады; các phương pháp hình thức; формалне методе; מתודות פורמליות; фармальныя метады; формальные методы; metoda formal; metody formalne; formelle metoder; formal metodlar; formal methods; 形式手法; formalūs metodai; métodos formais; métodos formais; طريقة شكلية; 形式化方法; formele methoden; insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware; techniques de raisonnement mathématique sur des programmes ou du matériel informatique; mathematical program specification intended to allow correctness proofs, including algorithmically; matematisk programspesifikasjon ment å tillate korrekthetsbevis, inkludert algoritmisk; специфікація математичної програми, техніка математичних міркувань, призначена для підтвердження правильності, в тому числі алгоритмічно; Métodos formales; Metodo formal; Metodos formales; 形式的手法; フォーマルメソッド; méthodes formelles; methode formelle; фармальны мэтад; שיטות פורמליות; formele methode; formale Methoden; 형식수법; 형식 수법; 정형기법; Método formal; روش های صوری; توابع رسمی; توابع صوری; روش های رسمی; 形式方法; metodi formali