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

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