Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
| Переведенное название | VEHA-2023 FORMAL VERIFICATION CONTEST: : THE EXPERIENCE |
|---|---|
| Язык оригинала | русский |
| Страницы (с-по) | 141-168 |
| Число страниц | 28 |
| Журнал | Труды Института системного программирования РАН |
| Том | 36 |
| Номер выпуска | 2 |
| DOI | |
| Состояние | Опубликовано - 2024 |
ID: 61366886