Ralph-Johan Back

From PKC
Revision as of 03:50, 27 January 2023 by Benkoo2 (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Ralph-Johan Back(Q7287124) is a computer scientist who co-wrote the book[1] with Joakim von Wright. His seminal thesis[2] 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; von Wright, Joakim (Dec 31, 1997). Refinment Calculus: A Systematic Introduction (Draft ed.). local page: Ralph-Johan Back and Joakim von Wright. 
  2. ↑ 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=38067"