![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Полный текст | Deductive-Verification-2020.pdf | 509,7 КБ | 31 марта 2021 [kornevgen] |