Home > VOLUME 8, ISSUE 1 (2012)
 articles  
1. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis  PDF | PostScript | Abstract, RST
 
  Assalé Adjé, Stéphane Gaubert and Eric Goubault








Logical Methods in Computer Science. ISSN: 1860-5974


Open Access Research