2
Published 1982
Springer Netherlands
... of the Foster-Wills and Theodor Heuss Scholarships, Oxford University and the Deutscher Akademischer...

3
Published 1991
Springer London
... organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a...

4
Published 1986
Palgrave Macmillan UK

5
Published 1990
Springer London
Table of Contents: ... of the Possibility of Totally Verified Systems -- ESPRIT II: REDO at Oxford -- Formal Specification of Window Systems...

11
Published 1991
Springer Berlin Heidelberg
... presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume...

14
Published 1995
Springer Berlin Heidelberg
... Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995. The volume presents 46...

17
Published 2001
Springer Berlin Heidelberg
..., held in Oxford, UK in April 2000. The revised full papers presented in the volume together...