[Reports] / Stanford univ. 88-1210 : String-functional semantics for formal verification of synchronous circuits : Mfiche.(1) / A.Bronstein,C.Talcott, 1988. - 57 мкфш. - Текст : непосредственный.