Pictures from Lecture by Professor Jianwen Zhu

Taming Pointers – A Symbolic Approach
click on the thumbnails to view the full-sized images