Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012)

Jérôme Feret 1 Andre Levchenko 2
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science, 〈http://www.sciencedirect.com/science/journal/15710661/313/supp/C〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01147670
Contributeur : Jérôme Feret <>
Soumis le : jeudi 30 avril 2015 - 18:56:54
Dernière modification le : jeudi 11 janvier 2018 - 06:25:39

Identifiants

  • HAL Id : hal-01147670, version 1

Collections

Citation

Jérôme Feret, Andre Levchenko. Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012). Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science, 〈http://www.sciencedirect.com/science/journal/15710661/313/supp/C〉. 〈hal-01147670〉

Partager

Métriques

Consultations de la notice

185