Correctness preserving program refinements: proof theory and applications/
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
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