Xavier Rival

Xavier Rival
Xavier Rival is Research Director at INRIA Paris and head of the research group on static analysis at Ecole Normale Supérieure/CNRS/INRIA/PSL

Books

Introduction to Static Analysis
Introduction to Static Analysis by Rival, Yi 9780262043410