Search
Front page
Data sets
Persons
Organizational units
Research output
Projects
Activities
Press/Media
About
Юрий Олегович Костюков
Kostiukov, Iurii
MK.3019.2021 Informatics
Overview
Research output
Activities
1 - 1 out of 1
Page size:
10
10
20
50
100
Sort by:
Start date
Type
Start date
Title
2021
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Юрий Олегович Костюков
(Speaker)
23 Jun 2021
Activity
:
Conference talk types
›
Oral presentation
ID: 18610304