%0 Conference Paper %1 conf/icde/CharltonHR11 %A Charlton, Nathaniel %A Horsfall, Ben %A Reus, Bernhard %B ICDE Workshops %D 2011 %E Abiteboul, Serge %E Böhm, Klemens %E Koch, Christoph %E Tan, Kian-Lee %I IEEE Computer Society %K dblp %P 134-138 %T Formal reasoning about runtime code update. %U http://dblp.uni-trier.de/db/conf/icde/icdew2011.html#CharltonHR11 %@ 978-1-4244-9194-0

@inproceedings{conf/icde/CharltonHR11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Charlton, Nathaniel and Horsfall, Ben and Reus, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/29524a8f1a8f4b2a73530ed1f9c5cd200/dblp}, booktitle = {ICDE Workshops}, crossref = {conf/icde/2011w}, editor = {Abiteboul, Serge and Böhm, Klemens and Koch, Christoph and Tan, Kian-Lee}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDEW.2011.5767624}, interhash = {f733246ae4c047351997de63d57fe8f8}, intrahash = {9524a8f1a8f4b2a73530ed1f9c5cd200}, isbn = {978-1-4244-9194-0}, keywords = {dblp}, pages = {134-138}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:01:45.000+0200}, title = {Formal reasoning about runtime code update.}, url = {http://dblp.uni-trier.de/db/conf/icde/icdew2011.html#CharltonHR11}, year = 2011 }