Формальная верификация: различия между версиями

(Отклонено последнее 1 изменение (178.215.113.35): не использовались при подготовке статьи)
Метка: добавление ссылки
* [[Тестирование программного обеспечения]]
* {{нп2|Обеспечение безопасности посредством языка||en|Language-based security}}
* [http://is.ifmo.ru/verification/ Страница по верификации на сайте кафедры технологий программирования университета ИТМО]
 
== Литература ==
Анонимный участник