О проверке полноты контролирующих тестов цифровых схемUbar, Raimund-JohannesXV Областная научно-техническая конференция по системам и средствам управления, май 1979 года : Тезисы докладовПермь / с. 74-75