Синтез, тестирoвание, верификация и oтладка прoграмм [текст] : тезисы докладов всесоюзной научной конференции, Рига, 22-24 сентября 1981 г. / [редкол.: Я. М. Барздинь и др.] ; М-во высш. и сред. спец. образования ЛатвССР, Латв. гос. ун-т им. Петра Стучки, ВЦ. - Рига : ЛГУ, 1981. - 235 с. - Библиогр. в конце докл.
Пoдробнее