Joakim von Wright
Jump to navigation
Jump to search
Joakim von Wright(Q102257105) is a computer scientist who co-wrote the book:Refinement Calculus: A Systematic Introduction with Ralph-Johan Back.
References
Related Pages