Matthieu Moy
Maître de conférences à l'UCBL/LIP
2
Documents
Identifiants chercheurs
- matthieu-moy
- IdRef : 106984993
- 0000-0002-6054-8882
Présentation
<https://matthieu-moy.fr/>
Publications
- 2
- 2
- 2
- 2
|
Succinct Representations for Abstract InterpretationStatic analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩
Communication dans un congrès
hal-00709833v1
|
|
PAGAI: a path sensitive static analyzerTools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3
Communication dans un congrès
hal-00718438v1
|