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
Objektorientierte Programmierung & Softwareentwicklung — Eine kritische Einschätzung
Johannes Siedersleben
Lectures
Lectures
Verteilte Verarbeitung
Johannes Weigend
Articles
Articles
Finding lexicographic orders for termination proofs in Isabelle/HOL
Alexander Krauss
