%0 Journal Article %1 journals/jcs/NgoSH14 %A Ngo, Tri Minh %A Stoelinga, Mariëlle %A Huisman, Marieke %D 2014 %J J. Comput. Secur. %K dblp %N 2 %P 269-300 %T Effective verification of confidentiality for multi-threaded programs. %U http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#NgoSH14 %V 22

@article{journals/jcs/NgoSH14, added-at = {2023-08-28T00:00:00.000+0200}, author = {Ngo, Tri Minh and Stoelinga, Mariëlle and Huisman, Marieke}, biburl = {https://www.bibsonomy.org/bibtex/2f1125f12aa8fc824f36f9b3aad3abdc2/dblp}, ee = {https://www.wikidata.org/entity/Q114944913}, interhash = {434fead1ca2194c39b4fcee976993e75}, intrahash = {f1125f12aa8fc824f36f9b3aad3abdc2}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 2, pages = {269-300}, timestamp = {2024-04-09T05:17:32.000+0200}, title = {Effective verification of confidentiality for multi-threaded programs.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs22.html#NgoSH14}, volume = 22, year = 2014 }