Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 8. Язык Isar
Teach-In
2024-02-04 22:381:08:09101
Язык структурированных доказательств Isar (продолжение) Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
16:53
