Вы здесь

Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига