%0 Conference Paper %1 conf/tacas/ArmandoBCCMMM15 %A Armando, Alessandro %A Bocci, Gianluca %A Chiarelli, Giantonio %A Costa, Gabriele %A Maglie, Gabriele De %A Mammoliti, Rocco %A Merlo, Alessio %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 225-230 %T SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#ArmandoBCCMMM15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/ArmandoBCCMMM15, added-at = {2022-07-05T00:00:00.000+0200}, author = {Armando, Alessandro and Bocci, Gianluca and Chiarelli, Giantonio and Costa, Gabriele and Maglie, Gabriele De and Mammoliti, Rocco and Merlo, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/2ced93046111d23977aa8b5c7ac0a1bd8/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_19}, interhash = {dc2e4f378b66ffaffcae3503ba0aa0e8}, intrahash = {ced93046111d23977aa8b5c7ac0a1bd8}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {225-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#ArmandoBCCMMM15}, volume = 9035, year = 2015 }