News
News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
In: Mathematical Structures in Computer Science, 26(1), 2016. (Ana Bove, Alexander Krauss, Matthieu Sozeau) zum Artikel
Articles
Partiality and recursion in interactive theorem provers: An overview
| Alexander Krauss
Alexander Krauss
Fitting the topic
News
News
News
Wir rollen das 49€ Ticket für unser Team aus!
QAware
Articles
Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Articles
Articles
Systematische Aufwandsschätzung für Software im Fahrzeug
Christian Kamm
Talks
Talks
Am besten Testen!
Dr. Josef Adersberger
Lectures
Lectures
Software-Entwicklungsumgebungen
Dr. Josef Adersberger
