Fachartikel
A mechanized translation from higher-order logic to set theory
Java aktuell, März 2021 (Andreas Zitzelsberger) zum Artikel
Andreas Zitzelsberger ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten bei dem Kunden Allianz. Sein[...]
Mehr Informationen