An abstract interpretation-based framework for software watermarking,” (2004)

by P Cousot, R Cousot
Venue:Proc. 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’04),