| Bibliography | Becker, Alexander: Implementierung einer aif Binary Decision Diagrams basierenden Zeigeranalyse für C.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 24 (2006).
74 pages, german.
|
|---|