Patrick Cousot, Radhia Cousot
An abstract interpretation-based framework for software watermarking
POPL, 2004.
@inproceedings{POPL-2004-CousotC, author = "Patrick Cousot and Radhia Cousot", booktitle = "{Proceedings of the 31st Symposium on Principles of Programming Languages}", doi = "10.1145/964001.964016", editor = "Neil D. Jones and Xavier Leroy", isbn = "1-58113-729-X", pages = "173--185", publisher = "{ACM}", title = "{An abstract interpretation-based framework for software watermarking}", year = 2004, }