News
Great Place to Work 2023 – Triple für QAware
In: Matt Kaufmann and Lawrence C. Paulson, editors, Interactive Theorem Proving (ITP 2010) (Alexander Krauss and Andreas Schopp) PDF
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
More informations