Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao. Detecting and preventing type flaws at static time. Journal of Computer Security, 18(2):229-264, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.