[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