Sous-collection des publications du département "Méthodes formelles" du LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503).

Cette sous-collection contient toutes les publications de HAL, HAL-INRIA, TEL, ... (notice ou dépôt avec texte intégral) du département 2 où au moins un auteur est affilié au LORIA.
La sous-collection est constituée et maintenue par le Service Information Scientifique et Technique avec les publications qui reflètent la production scientifique des équipes LORIA.

Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr