👤 Jean-Louis Boulanger

Static Analysis of Software. The Abstract Interpretation Jean-Louis Boulanger