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

м (откат правок 178.215.113.35 (обс) к версии Bezik)
Метка: добавление ссылки
 
* П.Грогоно, Программирование на языке Pascal, М.:Мир, 1982, с.295, (Тестирование и верификация).
 
* [http://intsys.msu.ru/staff/mironov/book.pdf А. М. Миронов. Верификация программ. Часть 1: нерекурсивные программы.]
 
{{rq|sources|wikify}}
Анонимный участник