Termination Analysis of C Programs Using Compiler Intermediate Languages
-
Autor:
Stephan Falke, Deepak Kapur, Carsten Sinz
-
Quelle:
Karlsruhe Report in Informatics 2011-6
- Datum: 2011
Links