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