DOI10.1007/s10990-004-4867-yzbMath1099.68053WikidataQ62046242 ScholiaQ62046242MaRDI QIDQ2386354
Isabella Mastroeni
Publication date: 22 August 2005 Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10990-004-4867-y
zbMATH Keywords
abstract domains; software watermarking
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68N99: Theory of software