Формальная верификация: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Xqbot (обсуждение | вклад) м робот изменил: uk:Формальна верифікація; косметические изменения |
м r2.5.2) (робот добавил: el:Τυπική επαλήθευση |
||
Строка 57:
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[el:Τυπική επαλήθευση]]
[[en:Formal verification]]
[[es:Verificación formal]]
| |||