Cousot and Radhia Cousot. An abstract interpretation-based framework for software watermarking (2003)

by Patrick
Venue:In The 30th Conference on Principles of Programming Languages