Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Fontaine, Arnaud  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Fontaine, A., S. Hym, and I. Simplot-Ryl, "Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.