Automatic loop bound analysis of programs written in C / Martin Kirner. 2006
Inhalt