%0 Conference Paper %1 conf/sefm/ShenB15 %A Shen, Jun %A Bazzi, Rida A. %B SEFM %D 2015 %E Calinescu, Radu %E Rumpe, Bernhard %I Springer %K dblp %P 231-248 %T A Formal Study of Backward Compatible Dynamic Software Updates. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#ShenB15 %V 9276 %@ 978-3-319-22968-3

@inproceedings{conf/sefm/ShenB15, added-at = {2021-10-19T00:00:00.000+0200}, author = {Shen, Jun and Bazzi, Rida A.}, biburl = {https://www.bibsonomy.org/bibtex/21bde31ae749d4c055cec7a288e1e4746/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2015}, editor = {Calinescu, Radu and Rumpe, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-22969-0_17}, interhash = {7444899b3d6f9469b3923ba0eb93e896}, intrahash = {1bde31ae749d4c055cec7a288e1e4746}, isbn = {978-3-319-22968-3}, keywords = {dblp}, pages = {231-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {A Formal Study of Backward Compatible Dynamic Software Updates.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#ShenB15}, volume = 9276, year = 2015 }