|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Формальная верификация C и C++ программ: практические аспектыстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Пучков Ф.М., Шапченко К.А.
- Журнал: Программная инженерия
- Номер: 3
- Год издания: 2012
- Издательство: Новые технологии
- Местоположение издательства: Москва
- Добавил в систему: Шапченко Кирилл Александрович