Skip to Main content Skip to Navigation
Directions of work or proceedings

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, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-00722483
Contributor : Jérôme Feret <>
Submitted on : Thursday, August 2, 2012 - 9:15:31 AM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

179