News
Great Place to Work 2023 – Triple für QAware
In: Marko van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, editors, Interactive Theorem Proving (ITP 2011) (Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, and Jürgen Giesl) PDF
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
More informations