MPG.eBooks - Author Search Results

Cover Image

1

Refinement Calculus : A Systematic Introduction

by Back, Ralph-Johan, Wright, Joakim
Published 1998

Springer New York

Cover Image

2

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Wright, Joakim von...”