HOME

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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
  
 \\ \\ \\ \\