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.
Joakim von Wright(Q102257105) is a computer scientist who co-wrote the book:Refinement Calculus: A Systematic Introduction.