681.142.2(063)
П781 2	Проблемы совершенствования синтеза, тестирования, верификации и отладки программ [Текст] : тез. докл. всесоюз. науч. конф., 12-14 нояб. 1986 г., Рига : [в 2 т.] / Латв. гос. ун-т им. П. Стучки, ВЦ ; [редкол.: Я. М. Барздинь (отв. ред.) и др.]. — Рига : ЛГУ, 1986. — 155 с.