MPG.eBooks - Search Results - University of Edinburgh

Cover Image

1

Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Universality and Inclusion Testing --...”

Cover Image

2

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Published 2019

Springer International Publishing

Table of Contents: “...Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau...”