Формальная верификация: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Метка: добавление ссылки |
Bezik (обсуждение | вклад) м откат правок 178.215.113.35 (обс) к версии Bezik |
||
Строка 52:
* [[Тестирование программного обеспечения]]
* {{нп2|Обеспечение безопасности посредством языка||en|Language-based security}}
== Литература ==
|