- Artículo:
Practical Programmer The Proof of Correctness Wars.
- Autor:
Robert L. Glass
- Página:
19
- Publicación:
COMMUNICATIONS OF THE ACM ISSN 00010782
- Volúmen:
45
- Número:
8
- Periodo:
AUGUST 2002
- SrcID:
2002-08ACM.txt
- Documento número 1474074
- Actualizado el martes, 4 de mayo de 2021 01:03:42 p. m.
- Creado el martes, 4 de mayo de 2021 01:03:42 p. m.
- Enlace directo
