%0 Journal Article %1 journals/Lobjet/ParrendF08 %A Parrend, Pierre %A Frénot, Stéphane %D 2008 %J L'OBJET %K dblp %N 4 %P 103-127 %T Vérification automatique pour l'exécution sécurisée de composants Java. %U http://dblp.uni-trier.de/db/journals/Lobjet/Lobjet14.html#ParrendF08 %V 14

@article{journals/Lobjet/ParrendF08, added-at = {2012-11-07T00:00:00.000+0100}, author = {Parrend, Pierre and Frénot, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/2bf2ebe6708664445c55ff5b29f01f5f8/dblp}, ee = {http://dx.doi.org/10.3166/obj.14.4.103-127}, interhash = {a9a23a663dda46c83ae8eeebc0b22bd2}, intrahash = {bf2ebe6708664445c55ff5b29f01f5f8}, journal = {L'OBJET}, keywords = {dblp}, number = 4, pages = {103-127}, timestamp = {2012-11-08T11:43:03.000+0100}, title = {Vérification automatique pour l'exécution sécurisée de composants Java.}, url = {http://dblp.uni-trier.de/db/journals/Lobjet/Lobjet14.html#ParrendF08}, volume = 14, year = 2008 }