%0 Journal Article %1 journals/sigsoft/MerweTMV15 %A van der Merwe, Heila %A Tkachuk, Oksana %A van der Merwe, Brink %A Visser, Willem %D 2015 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 1-5 %T Generation of Library Models for Verification of Android Applications. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#MerweTMV15 %V 40

@article{journals/sigsoft/MerweTMV15, added-at = {2020-09-17T00:00:00.000+0200}, author = {van der Merwe, Heila and Tkachuk, Oksana and van der Merwe, Brink and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/255a244ae7db7586fa21d0fb0d0cd5f67/dblp}, ee = {https://doi.org/10.1145/2693208.2693247}, interhash = {8be3ab68eb1e3f7df64456bceb9181e7}, intrahash = {55a244ae7db7586fa21d0fb0d0cd5f67}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = {1-5}, timestamp = {2020-09-18T11:37:17.000+0200}, title = {Generation of Library Models for Verification of Android Applications.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#MerweTMV15}, volume = 40, year = 2015 }