Fachartikel
A mechanized translation from higher-order logic to set theory
Java Magazin, Januar 2014 (Johannes Weigend, Josef Adersberger, Johannes Siedersleben)
Johannes Siedersleben hat mit seinen Publikationen das Thema Software-Architektur in Deutschland und darüber hinaus beeinflusst. Er berät QAware in allen[...]
Mehr Informationen