Myvideo

Guest

Login

г. (Кондратьев Д.А.) Семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

Uploaded By: Myvideo
1 view
0
0 votes
0

Объединенный семинар ИСИ СО РАН и кафедры программирования НГУ “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ” 15 февраля 2024 года. Докладчики: Кондратьев Д.А., Гаранина Н.О. (ИСИ СО РАН) Тема: «VeHa-2023: первые в России соревнования по формальной верификации программ»

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later