Advanced utilization of formal methods in automatic test pattern generation for industrial designsDaniel TilleÉpuiséPrévenez-moi
