Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010) - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Ouvrages Année : 2011

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

Jérôme Feret
Abstract Interpretation and Static Analysis
CV
Andre Levchenko
  • Fonction : Directeur scientifique
  • PersonId : 928514
Institute for Computational Medicine

Domaines

Bio-Informatique, Biologie Systémique [q-bio.QM] Bio-informatique [q-bio.QM]

Jérôme Feret  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00722483

Soumis le : jeudi 2 août 2012-09:15:31

Dernière modification le : vendredi 19 avril 2024-16:18:57

Fichier non déposé

Dates et versions

hal-00722483 , version 1 (02-08-2012)

Identifiants

  • HAL Id : hal-00722483 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL
118 Consultations
1 Téléchargements

Partager

Gmail Facebook X LinkedIn More