Thesis/On the Correctness of Refinement Steps in Program Development

From PKC
Jump to navigation Jump to search

Back,, Ralph-Johan (April 1978). On the Correctness of Refinement Steps in Program Development (Ph.D.). local page: University of Helsinki. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

References


Related Pages

Authored by:Ralph-Johan Back


Retrieved from "https://pkc.pub/index.php?title=Thesis/On_the_Correctness_of_Refinement_Steps_in_Program_Development&oldid=38068"