1. importsource = "00045411-1996-01.TXT"
Se encontraron 6 resultados.
Artículo:

Automated Proofs of Object Code for a Widely Used Microprocessor

Autor:

R. S. Boyer

Yu

Página:

166

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

43

Número:

1

Periodo:

Enero 1996

ISSN:

00045411

SrcID:

00045411-1996-01.TXT

  • Documento número 1670631
  • Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Enlace directo