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