pith. sign in

St\'ephane Gaubert (INRIA Saclay

Identifiers

  • name variant St\'ephane Gaubert (INRIA Saclay 0.60 · backfill

Papers (1)

  1. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #4

Mentions

  • 1111.5223 #4 · backfill · confidence 0.70 St\'ephane Gaubert (INRIA Saclay

Frequent Coauthors