И. Бурдонов, А. Косачев
Теория верификации соответствия программ. Лекция 2
Мехмат, лекции проходили в Институте механики. 2006.
35 слайдов