Travelled to:
1 × United Kingdom
Collaborated with:
J.Shen
Talks about:
backward (1) softwar (1) formal (1) compat (1) updat (1) studi (1) dynam (1)
Person: Rida A. Bazzi
DBLP: Bazzi:Rida_A=
Contributed to:
Wrote 1 papers:
- SEFM-2015-ShenB #formal method
- A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.