Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification.

• Autores: M. Kaufman
• Localización: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 98, Nº. 1-2, 2004 (Ejemplar dedicado a: Computación simbólica en Lógica e Inteligencia artificial), pág. 181
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)