Browse
FAQ

Author

Xavier Rival

4 books found

Cover of Introduction to Static Analysis

Introduction to Static Analysis

Xavier Rival, Kwangkeun Yi · First published 2020

Cover of Shape Analysis

Shape Analysis

Bor-Yuh Evan Chang, Cezara ăgoi, Roman Manevich, Noam Rinetzky, Xavier Rival · First published 2020

Cover of Static Analysis

Static Analysis

Xavier Rival · First published 2016

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Kenneth McMillan, Xavier Rival · First published 2014