[ACM Press the ACM SIGPLAN Fourth Workshop - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 - ActionScript bytecode verification with co-logic programming
DeVries, Brian W., Gupta, Gopal, Hamlen, Kevin W., Moore, Scott, Sridhar, MeeraYear:
2009
Language:
english
DOI:
10.1145/1554339.1554342
File:
PDF, 182 KB
english, 2009