Travelled to:1 × USA
Collaborated with:O.Lee H.Yang
Talks about:structur (1) overlaid (1) program (1) analysi (1) data (1)
Person: Rasmus Petersen
DBLP: Petersen:Rasmus
Contributed to:
Wrote 1 papers:
- CAV-2011-LeeYP #data type #program analysis
- Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.












