Laure Gonnord (LIFL)

Identifiers

• name variant Laure Gonnord (LIFL) 0.60 · backfill

Papers (1)

1. Using Bounded Model Checking to Focus Fixpoint Iterations cs.PL · 2011 · author #2

Mentions

• 1106.2637 #2 · backfill · confidence 0.70 Laure Gonnord (LIFL)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers