Fachartikel
Scalable LCF-style proof translation
Handelsblatt, Mai 2020 (Josef Adersberger) zum Artikel
Josef Adersberger ist Managing Director der QAware. Er hat QAware 2005 mitgegründet – unmittelbar nach dem Studium der Informatik, während[...]
Mehr Informationen