Artículo:

Retrospective: An Axiomatic Basis for Computer Programming

Autor:

C.A.R. Hoare

Página:

30

Publicación:

Communication Research Trends

Volúmen:

52

Número:

10

Periodo:

octubre 2009

ISSN:

01444646

SrcID:

00010782-2009-10.txt