Тезисы доклада В.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".
Названия статей: "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности" Оригинальный язык документа: русский Авторы: Виктор Николаевич Касьянов, Виктор Карлович Сабельфельд
