Laboratoire de Recherche en Informatique

Equipe Vérification d'Algorithmes, Langages et Systèmes

Derniers dépôts

À l'attention du déposant

• Le dépôt doit être effectué en accord avec les co-auteurs et dans le respect de la politique des éditeurs

• La mise en ligne est assujettie à une modération, la direction de HAL se réservant le droit de refuser les articles ne correspondant pas aux critères de l'archive

• Tout dépôt est définitif, aucun retrait ne sera effectué après la mise en ligne de l'article

• Les fichiers textes au format pdf ou les fichiers images composant votre dépôt sont maintenant envoyés au CINES dans un contexte d'archivage à long terme.

À l'attention des lecteurs

• Dans un contexte de diffusion électronique, tout auteur conserve ses droits intellectuels, notamment le fait de devoir être correctement cité et reconnu comme l'auteur d'un document.