Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010)

Jérôme Feret 1 Andre Levchenko 2
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Jérôme Feret and Andre Levchenko. 272, Elsevier, pp.56, 2011, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-00722483
Contributeur : Jérôme Feret <>
Soumis le : jeudi 2 août 2012 - 09:15:31
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10

Identifiants

  • HAL Id : hal-00722483, version 1

Collections

Citation

Jérôme Feret, Andre Levchenko. Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010). Jérôme Feret and Andre Levchenko. 272, Elsevier, pp.56, 2011, Electronic Notes in Theoretical Computer Science. 〈hal-00722483〉

Partager

Métriques

Consultations de la notice

120