Акт экспертизы тезисов доклада И.В. Касаткиной "Доказательство свойств программ в языке высокого уровня с косвенной адресацией".
Названия статей: "Доказательство свойств программ в языке высокого уровня с косвенной адресацией" Оригинальный язык документа: русский Организации: ИК АН УССР
