Static Analysis Of Software door Jean-louis Boulanger