Travelled to:
1 × Romania
Collaborated with:
J.Lundberg W.Löwe
Talks about:
reachabl (1) parallel (1) analys (1) escap (1)
Person: Marcus Edvinsson
DBLP: Edvinsson:Marcus
Contributed to:
Wrote 1 papers:
- SCAM-2010-EdvinssonLL #analysis #parallel #reachability
- Parallel Reachability and Escape Analyses (ME, JL, WL), pp. 125–134.