Endowed professorship for reliable software systems in the automotive industry

Termination Analysis of C Programs Using Compiler Intermediate Languages