|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Two-tape machinery for the equivalence checking of sequential programsстатья
- Автор: Zakharov V.A.
- Сборник: Proceedings of the International Workshop on Program Understanding, June 20-22, 2009, Novosibirsk
- Год издания: 2009
- Место издания: Novosibirsk
- Первая страница: 28
- Последняя страница: 40
- Добавил в систему: Захаров Владимир Анатольевич