LRI
Équipe VALS
Bât 650 Ada Lovelace, Université Paris Sud
Rue Noetzlin, 91190 Gif-sur-Yvette, France
Test Club Meeting on 6/12/2018

New Heuristics for Invariant Generation

Personnes présentes

  • Marie-Claude Gaudel
  • Frederic Voisin
  • Safouan Taha
  • Frederic Boulanger
  • Burkhart Wolff
  • Lina Yue
  • Du Zeye

Presentators (by order of appearance)

  • Vassil Todorov