Articles
A mechanized translation from higher-order logic to set theory
Computerwoche, April 2020 (Christian Kamm) View article
Christian Kamm is a Managing Director at QAware. Since 2009, he has significantly shaped the strategic direction of QAware. After[...]
Mehr Informationen