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

м (ссылка на книгу Камкина о формальной верификации)
Метка: добавление ссылки
* П.Грогоно, Программирование на языке Pascal, М.:Мир, 1982, с.295, (Тестирование и верификация).
 
* [http://isintsys.ifmomsu.ru/verificationstaff/bookmironov/verif_posled_programm.pdf А. М. Миронов. Верификация программ. Часть 1: нерекурсивные программы.]
 
* [http://sp.cmc.msu.ru/courses/vmp/ А.С. Камкин Введение в формальные методы верификации программ: учебное пособие]
Анонимный участник