DSpace À propos de l'application DSpace
 

Recherche avancée
Accueil
 
Parcourir le dépôt par :
Communautés et collections
Issue Date
Author
Title
Subject
 
Services personnalisés :
Recevoir les nouveautés
Espace personnel
utilisateurs autorisés
Modifier mon profil
 
À propos de DSpace

Depot Institutionnel de l'UMBB >
Publications Scientifiques >
Publications Internationales >

Veuillez utiliser cette adresse pour citer ce document : http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/2554

Titre: Towards a general framework for formal reasoning about java bytecode transformation
Auteur(s): Lounas, Razika
Mezghiche, Mohamed
Lanet, Jean-Louis
Mots-clés: Formal Reasoning
Java Bytecode
Date de publication: 2013
Collection/Numéro: Symbolic Computation in Software Science (2012);pp. 63–73
URI/URL: http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/2554
Collection(s) :Publications Internationales

Fichier(s) constituant ce document :

Fichier Description TailleFormat
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.pdf27,66 kBAdobe PDFVoir/Ouvrir
View Statistics

Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.

 
Valid XHTML 1.0! Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires