Research output

  1. Beyond the elementary representations of program invariants over algebraic data types

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  2. DISCOVERING NEAR DUPLICATE TEXT IN SOFTWARE DOCUMENTATION

    Research output: Contribution to journal › Article › peer-review

View all (2) »

Projects

  1. Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2023 г. этап 2

    Project: Grant fulfilment › Grant stage fulfilment

  2. Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

Activities

  1. Наставничество студентов и аспирантов в контексте научно-производственных ИТ-исследований

    Activity: Other activity types › Other

  2. Beyond the Elementary Representations of Program Invariants over Algebraic Data Types

    Activity: Conference talk types › Oral presentation

View all (2) »

ID: 18610304