|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
An equivalence-checking algorithm for polysemantic models of sequential programsстатья
- Авторы: Zakharov V.A., Zakharyaschev I.M.
- Сборник: Proceedings of the International Workshop on Program Understanding (14-16 July, 2003, Altai Mountains)
- Год издания: 2003
- Место издания: Новосибирск
- Первая страница: 59
- Последняя страница: 70
- Добавил в систему: Захаров Владимир Анатольевич