Xavier Rival

Xavier Rival

2 books in the database

Books

Introduction to Static AnalysisXavier Rival

Introduction to Static Analysis

Xavier Rival · 2020

Static AnalysisXavier Rival

Static Analysis

Xavier Rival · 2016

Co-authored books and collections

Books that list Xavier Rival among their authors but not as the lead author: co-written works, collections and compilations.

Verification, Model Checking, and Abstract InterpretationKenneth McMillan

Verification, Model Checking, and Abstract Interpretation

Kenneth McMillan · 2014