Формальный синтез тестов для микропроцессоровToomsalu, Arvo; Ubar, Raimund-JohannesXVII областная научно-техническая конференция по вопросам повышения эффективности и качества систем и средств управления (май 1981 г.): Тезисы докладов1981 / с. 111-112