Home | english  | Impressum | Sitemap | KIT

Termination Analysis of C Programs Using Compiler Intermediate Languages

Termination Analysis of C Programs Using Compiler Intermediate Languages
Autor:

Stephan Falke, Deepak Kapur, Carsten Sinz

Links:
Quelle:

Karlsruhe Report in Informatics 2011-6

Datum: 2011