Static Path Conditions for Java
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2008 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-59593-936-4 KITopen-ID: 1000008943 |
| Erschienen in | Proceedings of the ACM SIGPLAN 3rd Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 57-66 |