Verifiable control flow properties for Java bytecode
Submitted by LILLE on Wed, 2012-01-25 12:22
| Title | Verifiable control flow properties for Java bytecode |
| Publication Type | Conference Proceedings |
| Year of Publication | 2011 |
| Authors | Fontaine, A., S. Hym, and I. Simplot-Ryl |
| Conference Name | FAST 2011 |
| Series Title | Lecture Notes in Computer Science |
| Date Published | to appear |
| Publisher | Springer Berlin / Heidelberg |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
