|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Статический анализатор Svace как коллекция анализаторов разных уровней сложностистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 26 сентября 2016 г.
- Авторы: Бородин А.Е., Белеванцев А.А.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 27
- Номер: 6
- Год издания: 2015
- Первая страница: 111
- Последняя страница: 134
- DOI: 10.15514/ISPRAS-2015-27(6)-8
- Добавил в систему: Корныхин Евгений Валерьевич