Towards a general framework for formal reasoning about java bytecode transformation

	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

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	Taille	Format
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.pdf		27,66 kB	Adobe PDF	Voir/Ouvrir

Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires