Markus Wenzel

2 books • 2 series

Jan 9, 2020
Cover of Der Weg in die Cloud

Der Weg in die Cloud (Essentials)

Apr 3, 2002
Cover of Isabelle/Hol

Isabelle/Hol (Lecture Notes in Computer Science, #2283)