Результаты

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

  2. DISCOVERING NEAR DUPLICATE TEXT IN SOFTWARE DOCUMENTATION

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Просмотреть все (2) »

Проекты

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

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

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

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

Просмотреть все () »

Деятельность

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

    Деятельность: Выступление на научной конференции › выступление с устным докладом

Просмотреть все (1) »

ID: 18610304