%0 Journal Article %1 journals/corr/abs-1902-05311 %A Sadiq, Ayesha %A Li, Yuan-Fang %A Ling, Sea %A Li, Li %A Ahmed, Ijaz %D 2019 %J CoRR %K dblp %T Sip4J: Statically inferring permission-based specifications for sequential Java programs. %U http://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-05311 %V abs/1902.05311

@article{journals/corr/abs-1902-05311, added-at = {2019-05-21T00:00:00.000+0200}, author = {Sadiq, Ayesha and Li, Yuan-Fang and Ling, Sea and Li, Li and Ahmed, Ijaz}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2db4bbb6644b822b0b2ff6f5b3349b28d/dblp}, ee = {http://arxiv.org/abs/1902.05311}, interhash = {af658d24d7e4268852af2eb1ca752d7e}, intrahash = {db4bbb6644b822b0b2ff6f5b3349b28d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:15:40.000+0200}, title = {Sip4J: Statically inferring permission-based specifications for sequential Java programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-05311}, volume = {abs/1902.05311}, year = 2019 }