Travelled to:
1 × Hungary
Collaborated with:
S.Chaudhuri S.Gulwani R.Lublinerman
Talks about:
program (1) robust (1) prove (1)
Person: Sara NavidPour
DBLP: NavidPour:Sara
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2011-ChaudhuriGLN #proving #robust #source code
- Proving programs robust (SC, SG, RL, SN), pp. 102–112.