Back, R. J. R.

Correctness preserving program refinements: proof theory and applications/ R. J. R. Back. - Amsterdam ; Mathematisch centrum, 1980. - 118 p. ; 24 cm. - Mathematical Centre tracts; 131. .

Includes indexes.

Revision of thesis (doctoral)--University of Helsinki, 1978.

Bibliography: p. 109-112.

9061962072 (pbk.)

81131608


Electronic digital computers---Programming.

511.3 / B126c