Articles

Certified size-change termination

 |  Alexander Krauss

In: Frank Pfenning, editor, Automated Deduction (CADE-21) (Alexander Krauss) zum Artikel

Ein Beitrag von
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

Mehr Informationen
Alexander