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