אימות תוכנה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט משנה: uk:Формальна верифікація |
Luckas-bot (שיחה | תרומות) מ r2.5.2) (בוט מוסיף: el:Τυπική επαλήθευση |
||
שורה 36:
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[el:Τυπική επαλήθευση]]
[[es:Verificación formal]]
[[fr:Vérification formelle]]
|