Laure Gonnord (LIP)

Identifiers

• name variant Laure Gonnord (LIP) 0.60 · backfill

Papers (1)

1. An encoding of array verification problems into array-free Horn clauses cs.PL · 2015 · author #2

Mentions

• 1509.09092 #2 · backfill · confidence 0.70 Laure Gonnord (LIP)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers