Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is Simplot-Ryl, Isabelle  [Clear All Filters]
Conference Proceedings
Fontaine, A., S. Hym, and I. Simplot-Ryl, "Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.