Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
summerschool2018:lecture5 [2018/02/06 16:21] nour.assy |
summerschool2018:lecture5 [2018/04/25 17:27] nour.assy |
||
---|---|---|---|
Line 11: | Line 11: | ||
\\ \\ | \\ \\ | ||
- | **Title**: <fc #ff0000>Automated Detection of Dynamic Data Structures in Pointer Programs</fc> | + | **BSR lecture**: Tuesday July 3rd, 11:00-12:30 |
+ | |||
+ | \\ \\ | ||
+ | |||
+ | **Title**: Automated Detection of Dynamic Data Structures in Pointer Programs | ||
\\ \\ | \\ \\ |