Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
summerschool2018:lecture5 [2018/02/06 16:21] nour.assy |
summerschool2018:lecture5 [2018/02/06 16:22] nour.assy |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| \\ \\ | \\ \\ | ||
| - | **Title**: <fc #ff0000>Automated Detection of Dynamic Data Structures in Pointer Programs</fc> | + | **Title**: Automated Detection of Dynamic Data Structures in Pointer Programs |
| \\ \\ | \\ \\ | ||
