Treffer: Static path conditions for Java
Title:
Static path conditions for Java
Authors:
Source:
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. :57-66
Availability:
Database:
ACM Full-Text Collection