Artículo:

A Direct Path to Dependable Software

Autor:

Daniel Jackson

Resumen:

Who could fault an approach that offers greater credibility at reduced cost?

Página:

78

Sección:

Review articles

Publicación:

Communications of the ACM

Volúmen:

52

Número:

4

Periodo:

Abril 2009

ISSN:

00010782

SrcID:

00010782-2009-04.txt