Travelled to:
1 × Germany
Collaborated with:
T.Arons E.Elster J.Shalev E.Singerman
Talks about:
softwar (1) symbol (1) effici (1) simul (1) level (1) low (1)
Person: Shlomit Ozer
DBLP: Ozer:Shlomit
Contributed to:
Wrote 1 papers:
- DATE-2008-AronsEOSS #low level #performance #simulation
- Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.