Joakim von Wright

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

Joakim von Wright(Q102257105) is a computer scientist who co-wrote the book[1] with Ralph-Johan Back.

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. 

Related Pages