%0 Journal Article %1 journals/afp/MurraySPR16a %A Murray, Toby C. %A Sison, Robert %A Pierzchalski, Edward %A Rizkallah, Christine %D 2016 %J Arch. Formal Proofs %K %T Compositional Security-Preserving Refinement for Concurrent Imperative Programs. %U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#MurraySPR16a %V 2016

@article{journals/afp/MurraySPR16a, added-at = {2023-12-12T21:12:45.000+0100}, author = {Murray, Toby C. and Sison, Robert and Pierzchalski, Edward and Rizkallah, Christine}, biburl = {https://www.bibsonomy.org/bibtex/298d8a56d333b31a26f11479559064bbf/admin}, ee = {https://www.isa-afp.org/entries/Dependent_SIFUM_Refinement.shtml}, interhash = {3ac8f1b5980be757c2c209349a8fd9ed}, intrahash = {98d8a56d333b31a26f11479559064bbf}, journal = {Arch. Formal Proofs}, keywords = {}, timestamp = {2023-12-12T21:12:45.000+0100}, title = {Compositional Security-Preserving Refinement for Concurrent Imperative Programs.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#MurraySPR16a}, volume = 2016, year = 2016 }