- Artículo:
The verifying Compiler: A grand Challenge for Computer Research
- Autor:
Tony Hoare
- Página:
63
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412212
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
