Correctness preserving program refinements
Subtitle: proof theory and applications
By: R.J.R. Back.
Series: Mathematical Centre tracts ;; 131
Publisher: Mathematisch centrum
Published: 1980
Place of publication: Amsterdam
Language: eng
Number of pages: 118
Subjects: Computer programming.
Notes: Bibliography: p. 109-112.
Revision of thesis (doctoral)--University of Helsinki, 1978.
Includes indexes.