Se-Won Kim, Kwang-Moo Choe
String Analysis as an Abstract Interpretation
VMCAI, 2011.
@inproceedings{VMCAI-2011-KimC, author = "Se-Won Kim and Kwang-Moo Choe", booktitle = "{Proceedings of the 12th International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-642-18275-4_21", isbn = "978-3-642-18274-7", pages = "294--308", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{String Analysis as an Abstract Interpretation}", volume = 6538, year = 2011, }