|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Proceedings of the International Workshop on Program Understanding (14-16 July, 2003, Altai Mountains)сборник
- Год издания: 2003
- Место издания: Новосибирск
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2003 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), место издания Новосибирск, с. 59-70