Чушкин М.С.
Генерация условий корректности предикатных программ с взаимной рекурсией
| Тезисы доклада: | abstracts_175121_ru.pdf |
| Файл с полным текстом: | article.pdf |
| Файл презентации: | presentation.pdf |
К списку докладов
XIV Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям
К списку докладов
