Articles
The best ICT employers – At QAware, code together alongside work
In: Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008) (Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews) PDF
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
Mehr Informationen