- Artículo:
Certified Software
- Autor:
Zhong Shao
- Resumen:
Only if the programmer can prove (through formal machine-checkable proofs) it is free of bugs with respect to a claim of dependability.
- Página:
56
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
12
- Periodo:
diciembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-12.txt
- Documento número 980004
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
