%0 Journal Article %1 journals/pacmpl/LiZ18 %A Li, Peixuan %A Zhang, Danfeng %D 2018 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 115:1-115:26 %T A derivation framework for dependent security label inference. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#LiZ18 %V 2

@article{journals/pacmpl/LiZ18, added-at = {2023-12-17T00:00:00.000+0100}, author = {Li, Peixuan and Zhang, Danfeng}, biburl = {https://www.bibsonomy.org/bibtex/25522d66fbcd915da22de9f49f1f0a7ca/dblp}, ee = {https://doi.org/10.1145/3276485}, interhash = {ee6c8f6573cd2ae149c19468043d9c05}, intrahash = {5522d66fbcd915da22de9f49f1f0a7ca}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {115:1-115:26}, timestamp = {2024-04-08T09:54:11.000+0200}, title = {A derivation framework for dependent security label inference.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#LiZ18}, volume = 2, year = 2018 }