|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernelстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 22 февраля 2019 г.
- Авторы: Andrianov Pavel, Mutilin Vadim, Khoroshilov Alexey
- Сборник: Tools and Methods of Program Analysis. TMPA 2017. Communications in Computer and Information Science, vol 779
- Год издания: 2018
- Место издания: Springer International Publishing
- Первая страница: 11
- Последняя страница: 23
- Добавил в систему: Корныхин Евгений Валерьевич