Paper/A theoretical basis for stepwise refinement and the programming calculus

From PKC
Jump to navigation Jump to search

Morris, Joseph (Dec 1987). A theoretical basis for stepwise refinement and the programming calculus. local page: Elsevier. 


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

References


Related Pages


Retrieved from "https://pkc.pub/index.php?title=Paper/A_theoretical_basis_for_stepwise_refinement_and_the_programming_calculus&oldid=38073"