%0 Conference Paper %1 conf/csfw/MurraySPR16 %A Murray, Toby C. %A Sison, Robert %A Pierzchalski, Edward %A Rizkallah, Christine %B CSF %D 2016 %I IEEE Computer Society %K %P 417-431 %T Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. %U http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#MurraySPR16 %@ 978-1-5090-2607-4

@inproceedings{conf/csfw/MurraySPR16, added-at = {2023-12-14T16:58:03.000+0100}, author = {Murray, Toby C. and Sison, Robert and Pierzchalski, Edward and Rizkallah, Christine}, biburl = {https://www.bibsonomy.org/bibtex/271f6e390962c319beac90681909b84c5/admin}, booktitle = {CSF}, crossref = {conf/csfw/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2016.36}, interhash = {ffb58009a3aef97a5ff902c126be81f9}, intrahash = {71f6e390962c319beac90681909b84c5}, isbn = {978-1-5090-2607-4}, keywords = {}, pages = {417-431}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:58:03.000+0100}, title = {Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#MurraySPR16}, year = 2016 }