Юрий Олегович Костюков – Activities — Saint Petersburg State University

View Scopus Profile

Research activity per year

If you made any changes in Pure these will be visible here soon.

1 Oral presentation

1 results
- Title
- Start date(ascending)

Filter

Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Юрий Олегович Костюков (Speaker)
23 Jun 2021
Activity: Talk types › Oral presentation