발행물
컨퍼런스
ACM
,
Separation and Information Hiding
IEEE
Type Reconstruction for Syntactic Control of Interference, Part 2