「形式的検証」の版間の差分
削除された内容 追加された内容
Sakura minami 8080 (会話 | 投稿記録) 編集の要約なし |
LaaknorBot (会話 | 投稿記録) m ロボットによる 追加: da:Verifikation (bekræftelse) |
||
43行目:
[[cs:Formální verifikace]]
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[en:Formal verification]]
| |||