Миронов Андрей Михайлович

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

1. Процессный подход к верификации криптографических протоколов
   А. М. Миронов
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   11 октября 2024 г. 13:00
2. Математические модели и методы анализа параллельных алгоритмов
   А. М. Миронов
   Научный семинар «Актуальные проблемы геометрии и механики» имени проф. В. В. Трофимова
   26 апреля 2002 г. 18:30