Articles
Termination of Isabelle functions via termination of rewriting
heise Developer, January 2020 (Josef Adersberger) View article
Josef Adersberger is a Managing Director at QAware. He co-founded QAware in 2005 – immediately after studying computer science, during[...]
Mehr Informationen