%0 Conference Paper %1 conf/sas/LiTX15 %A Li, Yue %A Tan, Tian %A Xue, Jingling %B SAS %D 2015 %E Blazy, Sandrine %E Jensen, Thomas P. %I Springer %K dblp %P 162-180 %T Effective Soundness-Guided Reflection Analysis. %U http://dblp.uni-trier.de/db/conf/sas/sas2015.html#LiTX15 %V 9291 %@ 978-3-662-48287-2

@inproceedings{conf/sas/LiTX15, added-at = {2017-12-12T00:00:00.000+0100}, author = {Li, Yue and Tan, Tian and Xue, Jingling}, biburl = {https://www.bibsonomy.org/bibtex/25a4f9b818700673ba0d131cec7153d56/dblp}, booktitle = {SAS}, crossref = {conf/sas/2015}, editor = {Blazy, Sandrine and Jensen, Thomas P.}, ee = {https://doi.org/10.1007/978-3-662-48288-9_10}, interhash = {cee1257b296a7621d6f8eed7f1521c89}, intrahash = {5a4f9b818700673ba0d131cec7153d56}, isbn = {978-3-662-48287-2}, keywords = {dblp}, pages = {162-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:43.000+0200}, title = {Effective Soundness-Guided Reflection Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2015.html#LiTX15}, volume = 9291, year = 2015 }