|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализастатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Рагозина П., Игнатьев В.Н.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 35
- Год издания: 2022
- Добавил в систему: Игнатьев Валерий Николаевич