MPG.eBooks - Author Search Results

Cover Image

1

Concrete Semantics : With Isabelle/HOL

by Nipkow, Tobias, Klein, Gerwin
Published 2014

Springer International Publishing

Cover Image

2

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Published 2014

Springer International Publishing

Other Authors: “...Klein, Gerwin...”