Vincent Laviron

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Vincent Laviron, Francesco Logozzo: Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS 2009: 343-358

1 Vincent Laviron, Francesco Logozzo: SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI 2009: 229-244

	2009
2		Vincent Laviron, Francesco Logozzo: Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS 2009: 343-358
1		Vincent Laviron, Francesco Logozzo: SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI 2009: 229-244

Coauthor Index

1 Francesco Logozzo [1] [2]