Mathematical programming based debugging. - Leo Liberti; Stéphane Le Roux 001; Jeremy Leconte; Fabrizio Marinelli 001 (Electron. Notes Discret. Math., 2010)

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. - Eric Goubault; Stéphane Le Roux 001; Jeremy Leconte; Leo Liberti; Fabrizio Marinelli 001 (NSAD@SAS, 2010)