Communication Dans Un Congrès
Année : 2011
Isabelle Simplot-Ryl : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00877166
Soumis le : dimanche 27 octobre 2013-09:28:51
Dernière modification le : vendredi 24 mars 2023-14:52:57
Citer
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. Verifiable Control Flow Policies for Java Bytecode. Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. pp.115-130, ⟨10.1007/978-3-642-29420-4⟩. ⟨hal-00877166⟩
Collections
56
Consultations
0
Téléchargements