|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
К созданию автоматизированных средств верификации программного кодастатья
- Авторы: Пучков Ф.М., Шапченко К.А., Андреев О.О.
- Сборник: Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06)
- Год издания: 2007
- Первая страница: 401
- Последняя страница: 439