Formal Model Reduction

Jérôme Feret 1
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Type de document :
Communication dans un congrès
Eran Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. 6887, pp.6, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-23702-7_5〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00626640
Contributeur : Jérôme Feret <>
Soumis le : lundi 26 septembre 2011 - 16:13:29
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Lien texte intégral

Identifiants

Collections

Citation

Jérôme Feret. Formal Model Reduction. Eran Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. 6887, pp.6, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-23702-7_5〉. 〈inria-00626640〉

Partager

Métriques

Consultations de la notice

228