Ralph-Johan Back

From PKC
Revision as of 03:50, 27 January 2023 by Benkoo2 (talk | contribs)
Jump to navigation Jump to search

Ralph-Johan Back(Q7287124) is a computer scientist who co-wrote the book:Refinement Calculus: A Systematic Introduction with Joakim von Wright. His seminal thesis[1] on the subject of Refinement Calculus is the starting point of this field.

HOME PAGE

Prof. Back has a home page that leads to many of his works and publications.

References

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

Related Pages


Retrieved from "https://pkc.pub/index.php?title=Ralph-Johan_Back&oldid=38066"