Кондратьев Дмитрий Александрович

Доклады и лекции в базе данных Math-Net.Ru

1. Соревнование по формальной верификации программ VeHa-2024: два года большого пути
   Д. А. Кондратьев
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   23 декабря 2024 г. 08:40   
2. Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
   N. V. Shilov, D. A. Kondrat'ev
   Logical Perspectives 2021: Summer School and Workshop
   17 июня 2021 г. 12:30