Author

Gerwin Klein

2 books found

Cover of Concrete Semantics

Concrete Semantics

Tobias Nipkow, Gerwin Klein · First published 2014

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Gerwin Klein, Ruben Gamboa · First published 2014