Foreword

Patrick Cousot, Baudouin Le Charlier
1998 Science of Computer Programming  
doi:10.1016/s0167-6423(96)00038-x fatcat:xp62esixdvdijkbsflumq7jozi