%0 Journal Article %1 journals/it/ErethLP14 %A Ereth, Sarah %A Lortz, Steffen %A Perner, Matthias %D 2014 %J it - Information Technology %K dblp %N 6 %P 288-293 %T Confidentiality for Android apps: Specification and verification. %U http://dblp.uni-trier.de/db/journals/it/it56.html#ErethLP14 %V 56

@article{journals/it/ErethLP14, added-at = {2015-01-04T00:00:00.000+0100}, author = {Ereth, Sarah and Lortz, Steffen and Perner, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/207d92246fcba13a02bc098eaf9376c34/dblp}, ee = {http://www.degruyter.com/view/j/itit.2014.56.issue-6/itit-2014-1068/itit-2014-1068.xml}, interhash = {0302f9f248a7567bdb5917e3185c8acb}, intrahash = {07d92246fcba13a02bc098eaf9376c34}, journal = {it - Information Technology}, keywords = {dblp}, number = 6, pages = {288-293}, timestamp = {2015-06-18T08:59:32.000+0200}, title = {Confidentiality for Android apps: Specification and verification.}, url = {http://dblp.uni-trier.de/db/journals/it/it56.html#ErethLP14}, volume = 56, year = 2014 }