Communication Dans Un Congrès
Année : 2009
Stefan Haar : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00772676
Soumis le : jeudi 10 janvier 2013-23:00:07
Dernière modification le : vendredi 24 mars 2023-14:52:56
Dates et versions
Identifiants
- HAL Id : hal-00772676 , version 1
Citer
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS, Mar 2009, York, United Kingdom. pp.440-455. ⟨hal-00772676⟩
Collections
59
Consultations
0
Téléchargements