Articles
Certified size-change termination
Informatik-Spektrum 5/2011 (Johannes Siedersleben, Johannes Weigend, Josef Adersberger)
With his publications, Johannes Siedersleben has influenced the topic of software architecture in Germany and beyond. He advises QAware in[...]
Mehr Informationen