- 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
