Étienne Payet, Fausto Spoto
Magic-Sets Transformation for the Analysis of Java Bytecode
SAS, 2007.
@inproceedings{SAS-2007-PayetS, author = "Étienne Payet and Fausto Spoto", booktitle = "{Proceedings of the 14th International Static Analysis Symposium}", doi = "10.1007/978-3-540-74061-2_28", isbn = "978-3-540-74060-5", pages = "452--467", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Magic-Sets Transformation for the Analysis of Java Bytecode}", volume = 4634, year = 2007, }