[ACM Press the third ACM SIGPLAN workshop - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08 - Static path conditions for Java
Hammer, Christian; Schaade, Rüdiger; Snelting, Gregor
- 作者Hammer, Christian; Schaade, Rüdiger; Snelting, Gregor
- 文件大小272.37KB
- 发表时间2008
- DOI10.1145/1375696.1375704