Формальна верифікація: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
стильові правлення, правопис |
м Категоризація |
||
Рядок 52:
[[Категорія:Формальні методи]]
[[Категорія:Теоретична інформатика]]
[[Категорія:Логіка в інформатиці]]
|