Mathematical logic flushes out the bugs in chip designs

• Autores: James Glanz
• Localización: Science, ISSN 0036-8075, Vol. 267, Nº 5196, 1995, págs. 332-333
• Idioma: inglés
• Texto completo no disponible (Saber más ...)