기타 언어
自动形式化方法
自動形式化方法
Automated Formal Methods
Méthode de formalisation automatique
Método de formalización automática
Métodos Formais Automatizados
метод автоматической формализации
التلقائي طريقة رسمية
Automatisierte formale Methoden
自動形式法
자동 형식화 방법
วิธี formalization อัตโนมัติ