Meera Sridhar
Associate Professor
Director, CCI SmartHome Lab
Software and Information Systems
UNC Charlotte
ActionScript Bytecode Verification With Co-Logic Programming
In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), pp. 9—15, June 2009.
Publication year: 2009