Laurent Hubert
A non-null annotation inferencer for Java bytecode
PASTE, 2008.
@inproceedings{PASTE-2008-Hubert, author = "Laurent Hubert", booktitle = "{Proceedings of the Eighth Workshop on Program Analysis for Software Tools and Engineering}", doi = "10.1145/1512475.1512484", isbn = "978-1-60558-382-2", pages = "36--42", publisher = "{ACM}", title = "{A non-null annotation inferencer for Java bytecode}", year = 2008, }