News
Great Place to Work 2023 – Triple für QAware
In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (Alexander Krauss) PDF
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
More informations