|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Синтез программ в системе ЛИССдоклад на конференции
- Авторы: Большакова Е.И., Мальковский М.Г.
- Всероссийская Конференция : Всесоюзная конференция "Проблемы совершенствования синтеза тестирования и верификации программ"
- Даты проведения конференции: 1986
- Тип доклада: Стендовый
- Докладчик: Большакова Е.И.
- Место проведения: Рига
- Добавил в систему: Мальковский Михаил Георгиевич