[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Obfuscator Synthesis for Privacy and Utility
Rayadurgam, Sanjai; Tkachuk, Oksana
- 作者Rayadurgam, Sanjai; Tkachuk, Oksana
- 文件大小626.37KB
- 发表时间2016
- DOI10.1007/978-3-319-40648-0_11
- 页码133-149